BibTeX record conf/pstv/LamS82

download as .bib file

@inproceedings{DBLP:conf/pstv/LamS82,
  author       = {Simon S. Lam and
                  A. Udaya Shankar},
  editor       = {Carl A. Sunshine},
  title        = {An Illustration of Protocol Projections},
  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        = {343--360},
  publisher    = {North-Holland},
  year         = {1982},
  timestamp    = {Thu, 17 Jan 2002 16:10:28 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/LamS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics