BibTeX record conf/pstv/GustavssonPP82

download as .bib file

@inproceedings{DBLP:conf/pstv/GustavssonPP82,
  author       = {Rune Gustavsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  editor       = {Carl A. Sunshine},
  title        = {An Integrated Approach to Protocol Design Research},
  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        = {309--310},
  publisher    = {North-Holland},
  year         = {1982},
  timestamp    = {Thu, 17 Jan 2002 16:10:28 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/GustavssonPP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics