Refine Results
Publications
  1. CAV: Computer Aided Verification (35)
  2. CONCUR: Concurrency Theory (26)
  3. EMSOFT: Embedded Software (16)
  4. ICALP: Automata, Languages and Programming (13)
  5. HSCC: Hybrid Systems - Computation and Control (11)

More Publications

Affiliation
  1. IST Austria (95)
Peer reviewed
  1. no (356)
Invited
  1. no (349)
  2. yes (7)

Results (356)

  • Layered Concurrent Programs
    Conference paper
  • Compositional specifications for ioco testing
    Conference paper