Global Caching for the Alternation-free Coalgebraic mu-calculus

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Hausmann D, Schröder L, Egger C
Verlag: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Verlagsort: Dagstuhl
Jahr der Veröffentlichung: 2016
Titel der Reihe: LIPIcs
Band: 59
Tagungsband: Proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016
Seitenbereich: 34:1-34:15
Sprache: Englisch


FAU-Autoren / FAU-Herausgeber

Egger, Christoph
Lehrstuhl für Informatik 13 (Angewandte Kryptographie)
Hausmann, Daniel Dr.-Ing.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


Zitierweisen

APA:
Hausmann, D., Schröder, L., & Egger, C. (2016). Global Caching for the Alternation-free Coalgebraic mu-calculus. In Proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016 (pp. 34:1-34:15). Québec City, Canada: Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

MLA:
Hausmann, Daniel, Lutz Schröder, and Christoph Egger. "Global Caching for the Alternation-free Coalgebraic mu-calculus." Proceedings of the 27th International Conference on Concurrency Theory, Québec City, Canada Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. 34:1-34:15.

BibTeX: 

Zuletzt aktualisiert 2018-22-10 um 12:10