Deterministic w Automata vis-a-vis Deterministic Buchi Automata.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton

Browse the full ISAAC paper archive.