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

More Publications

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

Results (134)