Refine Results
Publications
  1. Information and Computation (10)
  2. CAV: Computer Aided Verification (8)
  3. LICS: Logic in Computer Science (8)
  4. CONCUR: Concurrency Theory (7)
  5. Logical Methods in Computer Science (7)

More Publications

Affiliation
  1. IST Austria (167)
Peer reviewed
  1. yes (167)
Invited
  1. no (167)

Results (167)