Publication:3601411
From MaRDI portal
zbMath1154.68063MaRDI QIDQ3601411
Parosh Aziz Abdulla, James Worrell, Joël Ouaknine, Karin Quaas, Johann Deneux
Publication date: 10 February 2009
68Q45: Formal languages and automata
Related Items
Uses Software