Refine Results
Publications
  1. CAV: Computer Aided Verification (10)
  2. ACM Transactions on Computational Logic (TOCL) (9)
  3. CONCUR: Concurrency Theory (6)
  4. Formal Methods in System Design (6)
  5. Information and Computation (5)

More Publications

Affiliation
  1. IST Austria (139)
Peer reviewed
  1. yes (139)
Invited
  1. no (138)
  2. yes (1)

Results (139)

  • Causality-based model checking
    Conference paper