BibTeX record conf/pstv/SimonK82

download as .bib file

@inproceedings{DBLP:conf/pstv/SimonK82,
  author       = {Gerald A. Simon and
                  David J. Kaufman},
  editor       = {Carl A. Sunshine},
  title        = {An Extended Finite State Machine Approach to Protocol Specification},
  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        = {113--133},
  publisher    = {North-Holland},
  year         = {1982},
  timestamp    = {Thu, 17 Jan 2002 16:10:28 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/SimonK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.