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

More Publications

Affiliation
  1. IST Austria (136)
Peer reviewed
  1. no (110)
  2. yes (77)
Invited
  1. no (185)
  2. yes (2)

Results (187)

  • JTDec: A tool for tree decompositions in soot
    Conference paper