BibTeX record conf/birthday/BaetenBR00

download as .bib file

@inproceedings{DBLP:conf/birthday/BaetenBR00,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Michel A. Reniers},
  editor       = {Gordon D. Plotkin and
                  Colin Stirling and
                  Mads Tofte},
  title        = {Discrete time process algebra with silent step},
  booktitle    = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  pages        = {535--570},
  publisher    = {The {MIT} Press},
  year         = {2000},
  timestamp    = {Mon, 23 Jun 2008 08:52:23 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BaetenBR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics