Refine Results
Years
  1. 2010 (39)
Publications
  1. CAV: Computer Aided Verification (4)
  2. CONCUR: Concurrency Theory (2)
  3. FORMATS: Formal Modeling and Analysis of Timed Systems (2)
  4. FSTTCS: Foundations of Software Technology and Theoretical Computer Science (2)
  5. Formal Methods in System Design (2)

More Publications

Affiliation
  1. IST Austria (36)
Peer reviewed
  1. no (30)
  2. yes (9)
Invited
  1. no (39)

Results (39)

  • Aligators for arrays
    Conference paper