User: Guest  Login
Author(s):
Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander 
Title:
Efficiently Checking Actual Causality with SAT Solving 
Subtitle:
Dependable Software Systems Engineering (2019, to appear) 
DDC:
000 Informatik, Wissen, Systeme 
Year:
2019 
University:
Technical University of Munich