- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Physik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2015
- Beteiligte Personen und Organisationen
-
Beer, Adrian
Heidinger, Stephan
Kühne, Uwe
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-0-294967
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Beer, Adrian
- Heidinger, Stephan
- Kühne, Uwe
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2015
Ähnliche Objekte (12)
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
SpinCause : A Tool for Causality Checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
On the synergy of probabilistic causality computation and causality checking
Trail-Directed Model Checking
Counterexamples for Model Checking of Markov Decision Processes
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
SpinCause : A Tool for Causality Checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
On the synergy of probabilistic causality computation and causality checking
Trail-Directed Model Checking
Counterexamples for Model Checking of Markov Decision Processes
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
SpinCause : A Tool for Causality Checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
On the synergy of probabilistic causality computation and causality checking
Trail-Directed Model Checking
Counterexamples for Model Checking of Markov Decision Processes