Global Caching for the Alternation-free Coalgebraic $\mu$-calculus (bibtex)
by Daniel Hausmann, Lutz Schröder, Christoph Egger
Reference:
Global Caching for the Alternation-free Coalgebraic $\mu$-calculus (Daniel Hausmann, Lutz Schröder, Christoph Egger), In Concurrency Theory, CONCUR 2016, LIPIcs, vol. 59, pp. 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016.
Bibtex Entry:
@InProceedings{HausmannEA16,
  author = {Daniel Hausmann and Lutz Schr\"oder and Christoph Egger},
  title = {Global Caching for the Alternation-free Coalgebraic {$\mu$}-calculus},
  booktitle = {Concurrency Theory, CONCUR 2016},
  year = {2016},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/6172/},
  pages = {34:1-34:15},
  volume = {59},
  }
Powered by bibtexbrowser