Refine Results
Publications
  1. CAV: Computer Aided Verification (13)
  2. ACM Transactions on Computational Logic (TOCL) (6)
  3. VMCAI: Verification, Model Checking and Abstract Interpretation (6)
  4. CONCUR: Concurrency Theory (5)
  5. Information and Computation (5)

More Publications

Affiliation
  1. IST Austria (118)
Peer reviewed
  1. yes (144)
Invited
  1. no (143)
  2. yes (1)

Results (144)

  • Timed Network Games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper