BibTeX record conf/icdcs/ChenY82

download as .bib file

@inproceedings{DBLP:conf/icdcs/ChenY82,
  author    = {Bo{-}Shoe Chen and
               Raymond T. Yeh},
  title     = {Formal Specification and Verification of Distributed Systems},
  booktitle = {Proceedings of the 3rd International Conference on Distributed Computing
               Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
  pages     = {380--387},
  year      = {1982},
  crossref  = {DBLP:conf/icdcs/1982},
  timestamp = {Wed, 21 Sep 2005 15:11:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcs/ChenY82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdcs/1982,
  title     = {Proceedings of the 3rd International Conference on Distributed Computing
               Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
  timestamp = {Wed, 21 Sep 2005 15:11:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcs/1982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}