BibTeX record conf/pstv/ParrowG84

download as .bib file

@inproceedings{DBLP:conf/pstv/ParrowG84,
  author    = {Joachim Parrow and
               Rune Gustavsson},
  title     = {Modelling Distributed Systems in an Extension of {CCS} with Infinite
               Experiments and Temporal Logic},
  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     = {309--348},
  year      = {1984},
  crossref  = {DBLP:conf/pstv/1984},
  timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/ParrowG84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pstv/1984,
  editor    = {Yechiam Yemini and
               Robert E. Strom and
               Shaula Yemini},
  title     = {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},
  publisher = {North-Holland},
  year      = {1985},
  isbn      = {0-444-87676-6},
  timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pstv/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}