DMCA

From nondeterministic Büchi and Streett automata to deterministic parity automata (2006)

Cached

Download Links

by Nir Piterman
Venue:In 21st Symposium on Logic in Computer Science (LICS’06
Citations:72 - 4 self