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

More Publications

Affiliation
  1. IST Austria (63)
Peer reviewed
  1. yes (38)
  2. no (25)
Invited
  1. no (63)

Results (63)