Regularity Problems for Weak Pushdown ω-Automata and Games
Berlin / Springer (2012) [Contribution to a book, 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
Authors
Löding, Christof
Repke, Stefan
Identifier
- REPORT NUMBER: RWTH-CONV-204223