Benutzer: Gast  Login
Dokumenttyp:
Buchbeitrag 
Autor(en):
Ibrahim, Amjad; Pretschner, Alexander 
Titel:
From Checking to Inference: Actual Causality Computations as Optimization Problems 
Buchtitel:
Automated Technology for Verification and Analysis 
Verlag / Institution:
Springer International Publishing 
Jahr:
2020 
Seiten/Umfang:
343-359 
Print-ISBN:
97830305915199783030591526