TY  - SER
AU  - Suzuki, T.
AU  - Shatz, Sol M.
AU  - Murata, Tadao
TI  - A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
KW  - Petri Nets
KW  - Protocols
KW  - Specification
ER  -