Causality checking for complex system models
Leitner-Fischer, Florian ; Leue, Stefan 2013 Bibliothek der Universität Konstanz
- Link zu diesem Datensatz
-
https://d-nb.info/1104942127
- Titel
-
Causality checking for complex system models
- Art des Inhalts
- Monographie
- Verfassangaben
- Florian Leitner-Fischer ; Stefan Leue
- Autor(en)
-
- Leitner-Fischer, Florian
- Leue, Stefan
- Verlag
- Konstanz : Bibliothek der Universität Konstanz [2013]
- Jahr
- Erscheinungsdatum: 2013
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:352-233165
- Sprache
- eng
- Anmerkungen
-
In: Verification, Model Checking, and Abstract Interpretation / Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - (Lecture Notes in Computer Science ; 7737). - S. 248-267. - ISBN 978-3-642-35872-2
- Stand
- 02.12.2025 12:59
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
