Smith96'

BibTeX

@inproceedings{DBLP:conf/forte/Smith96,
  author    = {M. A. S. Smith},
  title     = {Formal Verification of Communication Protocols},
  booktitle = {FORTE},
  year      = {1996},
  pages     = {129-144},
  crossref  = {DBLP:conf/forte/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {Formal Description Techniques IX: Theory, application and
               tools, IFIP TC6 WG6.1 International Conference on Formal
               Description Techniques IX / Protocol Specification, Testing
               and Verification XVI, Kaiserslautern, Germany, 8-11 October
               1996},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {69},
  year      = {1996},
  isbn      = {0-412-79490-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}