Normal view
MARC view
Shatz, Sol M (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)748564: Suzuki, T. 753119, A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets