Login
- Titel:
Efficient Checking of Actual Causality with SAT Solving
- Dokumenttyp:
- Konferenzband
- Herausgeber:
- Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander
- Kongress / Zusatzinformation:
- Engineering Secure and Dependable Software Systems (2019)
- Band / Teilband / Volume:
- Volume 53
- Verlag / Institution:
- IOS Press
- Jahr:
- 2019
- Seiten/Umfang:
- 241 - 255
- WWW:
- http://ebooks.iospress.nl/volumearticle/51826
- DOI-Link:
- doi:10.3233/978-1-61499-977-5-241
BibTeX