Solving Muller Games via Safety Games

Neider, Daniel; Rabinovich, Roman; Zimmermann, Martin

Aachen : RWTH, Department of Computer Science (2011)
Bericht (Brochure)

In: Aachener Informatik-Berichte : AIB 2011,14
Seite(n)/Artikel-Nr.: 21 Seiten : grafische DarstellungenReport-Nummer: AIB-2011-14

Identifikationsnummern