Florian Leitner-Fischer. Causality Checking of Safety-Critical Software and Systems. PhD thesis, University of Konstanz, Germany, 2015. [doi]
@phdthesis{dnb-10735, title = {Causality Checking of Safety-Critical Software and Systems}, author = {Florian Leitner-Fischer}, year = {2015}, url = {http://d-nb.info/1101947330}, researchr = {https://researchr.org/publication/dnb-10735}, cites = {0}, citedby = {0}, school = {University of Konstanz, Germany}, }