Refine Results
Publications
  1. CAV: Computer Aided Verification (49)
  2. CONCUR: Concurrency Theory (32)
  3. EMSOFT: Embedded Software (17)
  4. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (17)
  5. ICALP: Automata, Languages and Programming (16)

More Publications

Affiliation
  1. IST Austria (233)
Peer reviewed
  1. no (354)
  2. yes (164)
Invited
  1. no (511)
  2. yes (7)

Results (518)

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