Refine Results
Publications
  1. CAV: Computer Aided Verification (16)
  2. LICS: Logic in Computer Science (14)
  3. CONCUR: Concurrency Theory (11)
  4. Information and Computation (9)
  5. HSCC: Hybrid Systems - Computation and Control (8)

More Publications

Affiliation
  1. IST Austria (180)
Peer reviewed
  1. no (125)
  2. yes (118)
Invited
  1. no (241)
  2. yes (2)

Results (243)