- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Proceedings / Chen, Yu-Fang; Cheng, Chih-Hong; Esparza, Javier (Hrsg.). - Cham : Springer Nature, 2019. - (Lecture Notes in Computer Science ; 11781). - S. 171-186. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-31783-6
In: International Symposium on Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, 28. Okt. 2019 - 31. Okt. 2019, Taipei
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2019
- Creator
- URN
-
urn:nbn:de:bsz:352-2-1u56ubk3dc5085
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kölbl, Martin
- Leue, Stefan
- KOPS Universität Konstanz
Time of origin
- 2019
Other Objects (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Towards causality checking for complex system models
Causality Checking of Safety-Critical Software and Systems
Causality in econometric modeling: From theory to structural causal modeling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Towards causality checking for complex system models
Causality Checking of Safety-Critical Software and Systems
Causality in econometric modeling: From theory to structural causal modeling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Towards causality checking for complex system models
Causality Checking of Safety-Critical Software and Systems