BibTeX record conf/pstv/1985

download as .bib file

@proceedings{DBLP:conf/pstv/1985,
  editor    = {Michel Diaz},
  title     = {Protocol Specification, Testing and Verification V, Proceedings of
               the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
               Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
  publisher = {North-Holland},
  year      = {1985},
  isbn      = {0-444-87881-5},
  timestamp = {Mon, 07 Jan 2002 16:07:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}