BibTeX record books/el/01/BradfieldS01

download as .bib file

@incollection{DBLP:books/el/01/BradfieldS01,
  author       = {Julian C. Bradfield and
                  Colin Stirling},
  editor       = {Jan A. Bergstra and
                  Alban Ponse and
                  Scott A. Smolka},
  title        = {Modal Logics and mu-Calculi: An Introduction},
  booktitle    = {Handbook of Process Algebra},
  pages        = {293--330},
  publisher    = {North-Holland / Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-044482830-9/50022-9},
  doi          = {10.1016/B978-044482830-9/50022-9},
  timestamp    = {Fri, 28 Jun 2019 09:48:36 +0200},
  biburl       = {https://dblp.org/rec/books/el/01/BradfieldS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics