@conference{156256,
  author = {David Cypher and Dongjin Lee and M Martin-Villalba and C Prins and David Su},
  title = {Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI},
  year = {1998},
  month = {1998-11-01},
  publisher = {Proceesings FORTE/PSTV '98 Tutorials & Eductional Case Studies in Protocols, Paris, FR},
  language = {en},
}