Login / Signup
Causality Analysis for Concurrent Reactive Systems (Extended Abstract).
Rayna Dimitrova
Rupak Majumdar
Vinayak S. Prabhu
Published in:
CREST@ETAPS (2018)
Keyphrases
</>
extended abstract
databases
model checking
knowledge representation