> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: On the synergy of probabilistic causality computation and causality checking Beteiligte: Leitner-Fischer, Florian [Verfasser:in]; Leue, Stefan [Verfasser:in] Erschienen: Konstanz: Bibliothek der Universität Konstanz, 2013 Umfang: Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: Aus: Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / Ezio Bartocci ... (eds.). - Berlin : Springer, 2013. - S. 246-263. - (Lecture Notes in Computer Science ; 7976). - ISBN 978-3-642-39175-0 Zugangsstatus: Freier Zugang