Solving Counter Parity Games
Berlin [u.a.] / Springer (2012) [Buchbeitrag]
Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.)
Seite(n): 160-171
Autorinnen und Autoren
Ausgewählte Autorinnen und Autoren
Berwanger, Dietmar
Kaiser, Lukasz
Leßenich, Simon Robert
Identifikationsnummern
- DOI: 10.1007/978-3-642-32589-2_17
- REPORT NUMBER: RWTH-CONV-211651