Skip to content

From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata.

Nir Piterman

VenueA*LICS
Year2006
ProceedingsLICS

Browse the full LICS paper archive.