BibTeX record conf/pstv/HeerinkB95

download as .bib file

@inproceedings{DBLP:conf/pstv/HeerinkB95,
  author    = {Lex Heerink and
               Ed Brinksma},
  title     = {Validation in context},
  booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
               the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
               Testing and Verification, Warsaw, Poland, June 1995},
  pages     = {221--236},
  year      = {1995},
  crossref  = {DBLP:conf/pstv/1995},
  timestamp = {Thu, 03 Jan 2002 12:07:47 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/HeerinkB95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pstv/1995,
  editor    = {Piotr Dembinski and
               Marek Sredniawa},
  title     = {Protocol Specification, Testing and Verification XV, Proceedings of
               the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
               Testing and Verification, Warsaw, Poland, June 1995},
  series    = {{IFIP} Conference Proceedings},
  volume    = {38},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-71620-8},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}