Deterministic Asynchronous Automata for Infinite Traces (1993)

Cached

Download Links

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

Document Versions

Deterministic Asynchronous Automata for Infinite Traces –Volker Diekert, Anca Muscholl — 1993 — Acta Informatica