Refine Results
Publications
  1. CAV: Computer Aided Verification (34)
  2. CONCUR: Concurrency Theory (21)
  3. ICALP: Automata, Languages and Programming (14)
  4. EMSOFT: Embedded Software (13)
  5. HSCC: Hybrid Systems - Computation and Control (13)

More Publications

Affiliation
  1. IST Austria (74)
Open access
  1. no (355)
Peer reviewed
  1. no (295)
  2. yes (60)
Invited
  1. no (349)
  2. yes (6)

Results (355)