Media type: E-Book; Thesis Title: Causality Checking of Safety-Critical Software and Systems Contributor: Leitner-Fischer, Florian [Author] Published: Konstanz: Bibliothek der Universität Konstanz, 2015 Extent: Online-Ressource Language: English Identifier: Keywords: causality, model checking, verification ; Hochschulschrift Origination: University thesis: Dissertation, Konstanz, Universität Konstanz, 2015 Footnote: Access State: Open Access