Treffer: Symbolic Causality Checking Using Bounded Model Checking
Titel:
Symbolic Causality Checking Using Bounded Model Checking / Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue
Beteiligt:
Veröffentlicht:
Konstanz : Bibliothek der Universität Konstanz, 2015
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Anmerkungen:
In: Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Fischer, Bernd et al. (Hrsg.)
Cham : Springer International Publishing, 2015
(Lecture Notes in Computer Science ; 9232)
S. 203-221
ISSN 0302-9743
eISSN 1611-3349
ISBN 978-3-319-23403-8
In: 22nd International Symposium, SPIN 2015, 24. Aug 2015 - 26. Aug 2015, Stellenbosch
Cham : Springer International Publishing, 2015
(Lecture Notes in Computer Science ; 9232)
S. 203-221
ISSN 0302-9743
eISSN 1611-3349
ISBN 978-3-319-23403-8
In: 22nd International Symposium, SPIN 2015, 24. Aug 2015 - 26. Aug 2015, Stellenbosch