Deterministic Asynchronous Automata for Infinite Traces (1993)

Cached

Download Links

by Volker Diekert , Anca Muscholl
Venue:Acta Informatica
Citations:13 - 3 self