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