BibTeX record conf/pstv/AndersonL84

download as .bib file

@inproceedings{DBLP:conf/pstv/AndersonL84,
  author       = {David P. Anderson and
                  Lawrence H. Landweber},
  editor       = {Yechiam Yemini and
                  Robert E. Strom and
                  Shaula Yemini},
  title        = {Protocol Specification by Real-Time Attribute Grammars},
  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        = {457--465},
  publisher    = {North-Holland},
  year         = {1984},
  timestamp    = {Tue, 25 Feb 2003 15:13:25 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/AndersonL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics