Deterministic Asynchronous Automata for Infinite Traces.

Volker Diekert, Anca Muscholl

Browse the full STACS paper archive.