Skip to content

Deterministic omega-regular liveness properties.

Frank Niener, Ulrich Nitsche, Peter Ochsenschlger

VenueCDLT
Year1997
ProceedingsDevelopments in Language Theory

Browse the full DLT paper archive.