Solving Counter Parity Games

Springer Berlin / Heidelberg (2012) [Buchbeitrag]

Mathematical Foundations of Computer Science 2012. - 7464

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Berwanger, Dietmar
Kaiser, Lukasz
Lessenich, Simon