@conference{conference,
  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 {\textquoteright}98 Tutorials \& Eductional Case Studies in Protocols, Paris, FR},
  language = {en},
}