Refine Results
Publications
  1. CAV: Computer Aided Verification (15)
  2. CONCUR: Concurrency Theory (13)
  3. LICS: Logic in Computer Science (13)
  4. HSCC: Hybrid Systems - Computation and Control (8)
  5. CSL: Computer Science Logic (7)

More Publications

Affiliation
  1. IST Austria (188)
Peer reviewed
  1. no (153)
  2. yes (98)
Invited
  1. no (249)
  2. yes (2)

Results (251)

  • The big match in small space
    Conference paper