TY  - CONF
AU  - Cypher, David
AU  - Lee, Dongjin
AU  - Martin-Villalba, M
AU  - Prins, C
AU  - Su, David
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  -