Skip to content

Simulation Relations for Alternating Parity Automata and Parity Games.

Carsten Fritz, Thomas Wilke

VenueCDLT
Year2006
ProceedingsDevelopments in Language Theory

Browse the full DLT paper archive.