BibTeX record conf/pstv/BochmannCGJLLMRS82

• > Home > conf/pstv/BochmannCGJLLMRS82

@inproceedings{DBLP:conf/pstv/BochmannCGJLLMRS82,
  author       = {Gregor von Bochmann and
                  Eduard Cerny and
                  Michel Gagn{\'{e}} and
                  Claude Jard and
                  Alain L{\'{e}}veill{\'{e}} and
                  Clement Lacaille and
                  Michel Maksud and
                  K. S. Raghunathan and
                  Beh{\c{c}}et Sarikaya},
  editor       = {Carl A. Sunshine},
  title        = {Some Experience with the Use of Formal Specifications},
  booktitle    = {Protocol Specification, Testing and Verification, Proceedings of the
                  {IFIP} {WG6.1} Second International Workshop on Protocol Specification,
                  Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
  pages        = {171--185},
  publisher    = {North-Holland},
  year         = {1982},
  timestamp    = {Thu, 30 Jul 2020 14:31:35 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/BochmannCGJLLMRS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}