Diekert and A. Muscholl: Deterministic Asynchronous Automata for Infinite Traces (1994)

by V
Venue:Acta Informatica