Login / Signup

Causality Analysis for Concurrent Reactive Systems (Extended Abstract).

Rayna DimitrovaRupak MajumdarVinayak S. Prabhu
Published in: CREST@ETAPS (2018)
Keyphrases
  • extended abstract
  • databases
  • model checking
  • knowledge representation