Refine Results
Publications
  1. CAV: Computer Aided Verification (11)
  2. CONCUR: Concurrency Theory (6)
  3. ACM Transactions on Computational Logic (TOCL) (5)
  4. Information and Computation (5)
  5. LICS: Logic in Computer Science (4)

More Publications

Affiliation
  1. IST Austria (77)
Peer reviewed
  1. yes (51)
  2. no (26)
Invited
  1. no (77)

Results (77)