From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.28 ◽

2006 ◽

Cited By ~ 33

Author(s):

N. Piterman

Download Full-text