BibTeX record books/cu/12/Sangiorgi12

download as .bib file

@incollection{DBLP:books/cu/12/Sangiorgi12,
  author       = {Davide Sangiorgi},
  editor       = {Davide Sangiorgi and
                  Jan J. M. M. Rutten},
  title        = {Origins of bisimulation and coinduction},
  booktitle    = {Advanced Topics in Bisimulation and Coinduction},
  series       = {Cambridge tracts in theoretical computer science},
  volume       = {52},
  pages        = {1--37},
  publisher    = {Cambridge University Press},
  year         = {2012},
  timestamp    = {Fri, 22 May 2020 12:03:09 +0200},
  biburl       = {https://dblp.org/rec/books/cu/12/Sangiorgi12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics