> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Solving Muller games via safety games Beteiligte: Neider, Daniel [VerfasserIn]; Rabinovich, Roman [VerfasserIn]; Zmmermann, Martin [VerfasserIn] Erschienen: Aachen: RWTH, Department of Computer Science, 2011 Erschienen in: Aachener Informatik-Berichte ; 2011,14 Technical report / Department of Computer Science, RWTH Aachen Umfang: Online-Ressource (PDF-Datei: 21 S., 220 KB); graph. Darst Sprache: Englisch Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Literaturverz Systemvoraussetzungen: Acrobat reader Zugangsstatus: Freier Zugang