A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
Suzuki, T. Shatz, Sol M. Murata, Tadao
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets - 523-536 p.
Petri Nets
Protocols
Specification
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets - 523-536 p.
Petri Nets
Protocols
Specification