Permutation games for the weakly aconjunctive μ -calculus

Conference contribution
(Original article)


Publication Details

Author(s): Hausmann D, Schröder L, Deifel HP
Publisher: Springer Verlag
Publication year: 2018
Pages range: 361-378
ISBN: 9783319899626


FAU Authors / FAU Editors

Deifel, Hans-Peter
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Hausmann, Daniel Dr.-Ing.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Hausmann, D., Schröder, L., & Deifel, H.-P. (2018). Permutation games for the weakly aconjunctive μ -calculus. (pp. 361-378). Springer Verlag.

MLA:
Hausmann, Daniel, Lutz Schröder, and Hans-Peter Deifel. "Permutation games for the weakly aconjunctive μ -calculus." Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Springer Verlag, 2018. 361-378.

BibTeX: 

Last updated on 2019-09-01 at 09:10