Media type: E-Book Title: Causality checking for complex system models Contributor: Leitner-Fischer, Florian [Author]; Leue, Stefan [Author] Published: Konstanz: Bibliothek der Universität Konstanz, 2012 Published in: Technical Report soft ; 12-02 Extent: Online-Ressource Language: English Identifier: Origination: Footnote: Access State: Open Access