BibTeX record conf/stacs/GollerL10

• > Home > conf/stacs/GollerL10

@inproceedings{DBLP:conf/stacs/GollerL10,
  author       = {Stefan G{\"{o}}ller and
                  Markus Lohrey},
  editor       = {Jean{-}Yves Marion and
                  Thomas Schwentick},
  title        = {Branching-time Model Checking of One-counter Processes},
  booktitle    = {27th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2010, March 4-6, 2010, Nancy, France},
  series       = {LIPIcs},
  volume       = {5},
  pages        = {405--416},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2010},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2010.2472},
  doi          = {10.4230/LIPICS.STACS.2010.2472},
  timestamp    = {Tue, 19 Aug 2025 16:16:35 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/GollerL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}