Symbolic Implementation of Alternating Automata
From MaRDI portal
Publication:5757229
DOI10.1007/11812128_20zbMath1160.68401WikidataQ62041365 ScholiaQ62041365MaRDI QIDQ5757229
Alessandro Cimatti, Marco Roveri, Roderick Bloem, S. Semprini, Ingo Pill
Publication date: 6 September 2007
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11812128_20
68Q45: Formal languages and automata
Related Items