BibTeX record conf/pstv/BochmannCGDMPSS84

• > Home > conf/pstv/BochmannCGDMPSS84

@inproceedings{DBLP:conf/pstv/BochmannCGDMPSS84,
  author       = {Gregor von Bochmann and
                  Eduard Cerny and
                  George Walter Gerber and
                  Rachida Dssouli and
                  Michel Maksud and
                  B. H. Phan and
                  Beh{\c{c}}et Sarikaya and
                  Jean{-}Marc Serre},
  editor       = {Yechiam Yemini and
                  Robert E. Strom and
                  Shaula Yemini},
  title        = {Use of Formal Specifications for Protocol Design, Implementation and
                  Testing},
  booktitle    = {Protocol Specification, Testing and Verification IV, Proceedings of
                  the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
                  Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
  pages        = {137--144},
  publisher    = {North-Holland},
  year         = {1984},
  timestamp    = {Tue, 01 Jun 2010 06:57:52 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/BochmannCGDMPSS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}