TY  - CONF
AU  - David Cypher
AU  - Dongjin Lee
AU  - M Martin-Villalba
AU  - C Prins
AU  - David Su
C2  - Proceesings FORTE/PSTV '98 Tutorials & Eductional Case Studies in Protocols, Paris, FR
DA  - 1998-11-01
LA  - en
PB  - Proceesings FORTE/PSTV '98 Tutorials & Eductional Case Studies in Protocols, Paris, FR
PY  - 1998
TI  - Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
ER  -