Infinite Computations: (Do, 07.11.2013)

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Muller automata
Rabin automata
Street automata
Parity automata