Deterministic Asynchronous Automata for Infinite Traces (1993)

by Volker Diekert, Anca Muscholl
Venue:Acta Informatica