BibTeX record conf/ifipTCS/Meyer08

• > Home > conf/ifipTCS/Meyer08

@inproceedings{DBLP:conf/ifipTCS/Meyer08,
  author       = {Roland Meyer},
  editor       = {Giorgio Ausiello and
                  Juhani Karhum{\"{a}}ki and
                  Giancarlo Mauri and
                  C.{-}H. Luke Ong},
  title        = {On Boundedness in Depth in the pi-Calculus},
  booktitle    = {Fifth {IFIP} International Conference On Theoretical Computer Science
                  - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
                  of Computer Science, September 7-10, 2008, Milano, Italy},
  series       = {{IFIP}},
  volume       = {273},
  pages        = {477--489},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-0-387-09680-3\_32},
  doi          = {10.1007/978-0-387-09680-3\_32},
  timestamp    = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Meyer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}