> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Bayesian Inference by Symbolic Model Checking Beteiligte: Salmani Barzoki, Bahare [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2020 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2021-02248 Identifikator: Entstehung: Anmerkungen: In: 10.1007/978-3-030-59854-9_9 Zugangsstatus: Freier Zugang