> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures - Beteiligte: Wu, Hao [Verfasser]; Katoen, Joost-Pieter [Akademischer Betreuer]; Haverkort, Boudewijn [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2017 Umfang: Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2017-08297 Identifikator: Schlagwörter: Buildings Entstehung: Hochschulschrift: Dissertation, RWTH Aachen University, 2017 Anmerkungen: Zugangsstatus: Freier Zugang