Dynamic causes for the violation of timed reachability properties
From MaRDI portal
Publication:1996021
DOI10.1007/978-3-030-57628-8_8OpenAlexW3081513980MaRDI QIDQ1996021
Stefan Leue, Martin Kölbl, Robert Schmid
Publication date: 2 March 2021
Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-3aoeg9qmj7d57
Related Items (1)
Cites Work
- Unnamed Item
- Explaining counterexamples using causality
- Complexity, convexity and combinations of theories
- Causality Checking for Complex System Models
- Model Checking Real-Time Systems
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Lectures on Concurrency and Petri Nets
- Clock bound repair for timed systems
This page was built for publication: Dynamic causes for the violation of timed reachability properties