Christian Neukirchen

发表

Computation of winning strategies for μ-calculus by fixpoint iteration

Christian Neukirchen, 2014 .

Certification for μ-calculus with winning strategies Category : Research Paper

M. Hofmann, H. Ruess, Christian Neukirchen, 2016 .