Media type: E-Book Title: Boolean-logic driven Markov processes : Explained. Analysed. Verified Other titles: Durch Boolesche Logik gesteuerte Markov-Prozesse – Erklärt. Analysiert. Verifiziert. Contributor: Khan, Shahid [Verfasser]; Katoen, Joost-Pieter [Akademischer Betreuer]; Stoelinga, Mariëlle [Akademischer Betreuer] imprint: Aachen: Universitätsbibliothek der RWTH Aachen, 2022 Published in: Aachener Informatik-Berichte (AIB) ; AIB-2022-02 Extent: Online-Ressource Language: English DOI: 10.18154/RWTH-2022-09528 Identifier: Origination: University thesis: Dissertation, RWTH Aachen University, 2022 Footnote: Access State: Open Access