ω-automata

Asynchronous circuits, communicating processes, and muller automaton

Fundamenta Informaticae

Büchi automata and their degrees of nondeterminism and ambiguity

Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems

Infinity problems and countability problems for ω-automata

Information Processing Letters

Synthesising Features by Games

Electronic Notes in Theoretical Computer Science (ENTCS)

Short witnesses and accepting lassos in ω-automata

LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications

Symbolic bounded synthesis

Formal Methods in System Design

Asynchronous Circuits, Communicating Processes, and Muller Automaton

Fundamenta Informaticae