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
- RWTH PUBLICATIONS: RWTH-CONV-211661