Regularity Problems for Weak Pushdown ω-Automata and Games

Berlin / Springer (2012) [Contribution to a conference proceedings]

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

Authors

Selected Authors

Löding, Christof
Repke, Stefan

Identifier

  • REPORT NUMBER: RWTH-CONV-204223