Refine Results
Years
  1. 2010 (37)
Publications
  1. CAV: Computer Aided Verification (4)
  2. CONCUR: Concurrency Theory (2)
  3. FORMATS: Formal Modeling and Analysis of Timed Systems (2)
  4. Information and Computation (2)
  5. MFCS: Mathematical Foundations of Computer Science (2)

More Publications

Affiliation
  1. IST Austria (34)
Peer reviewed
  1. no (30)
  2. yes (7)
Invited
  1. no (37)

Results (37)

  • Aligators for arrays
    Conference paper