Refine Results
Years
  1. 2010 (38)
Publications
  1. CAV: Computer Aided Verification (4)
  2. CONCUR: Concurrency Theory (2)
  3. FORMATS: Formal Modeling and Analysis of Timed Systems (2)
  4. Formal Methods in System Design (2)
  5. Information and Computation (2)

More Publications

Affiliation
  1. IST Austria (35)
Peer reviewed
  1. no (30)
  2. yes (8)
Invited
  1. no (38)

Results (38)

  • Aligators for arrays
    Conference paper