Refine Results
Years
  1. 2010 (36)
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. Information and Computation (2)

More Publications

Affiliation
  1. IST Austria (36)
Peer reviewed
  1. no (28)
  2. yes (8)
Invited
  1. no (36)

Results (36)

  • Aligators for arrays
    Conference paper