> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Reduction Techniques for Nondeterministic and Probabilistic Systems Beteiligte: Sharma, Arpit [Verfasser]; Katoen, Joost-Pieter [Akademischer Betreuer]; Hermanns, Holger [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2015 Erschienen in: Aachener Informatik-Berichte ; 2015,3 Umfang: Online-Ressource Sprache: Englisch Identifikator: Entstehung: Hochschulschrift: Dissertation, RWTH Aachen University, 2015 Anmerkungen: Zugangsstatus: Freier Zugang