BergstraK85'

BibTeX

@inproceedings{DBLP:conf/aii/BergstraK85,
  author    = {Jan A. Bergstra and
               Jan Willem Klop},
  title     = {Verification of an alternating bit protocol by means of
               process algebra},
  booktitle = {Mathematical Methods of Specification and Synthesis of Software
               Systems},
  year      = {1985},
  pages     = {9-23},
  crossref  = {DBLP:conf/aii/1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aii/1985,
  editor    = {Wolfgang Bibel and
               Klaus P. Jantke},
  title     = {Mathematical Methods of Specification and Synthesis of Software
               Systems '85, Proceedings of the International Spring School,
               Wendisch-Rietz, GDR, April 22-26, 1985},
  booktitle = {Mathematical Methods of Specification and Synthesis of Software
               Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {215},
  year      = {1986},
  isbn      = {3-540-16444-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}