BibTeX record conf/pstv/1991

download as .bib file

@proceedings{DBLP:conf/pstv/1991,
  editor    = {Bengt Jonsson and
               Joachim Parrow and
               Bj{\"{o}}rn Pehrson},
  title     = {Protocol Specification, Testing and Verification XI, Proceedings of
               the {IFIP} {WG6.1} International Symposium on Protocol Specification,
               Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89210-9},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}