TYPENESS FOR ω-REGULAR AUTOMATA
From MaRDI portal
Publication:5484907
DOI10.1142/S0129054106004157zbMath1098.68073MaRDI QIDQ5484907
Orna Kupferman, Aniello Murano, Gila Morgenstern
Publication date: 21 August 2006
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
68Q45: Formal languages and automata