Solving Counter Parity Games

Berlin [u.a.] / Springer (2012) [Contribution to a book]

Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.)
Page(s): 160-171

Authors

Selected Authors

Berwanger, Dietmar
Kaiser, Lukasz
Leßenich, Simon Robert

Identifier