Refine Results
Publications
  1. CAV: Computer Aided Verification (6)
  2. IST Dissertation (3)
  3. ACM SIGPLAN Notices (2)
  4. Artificial Intelligence (2)
  5. HSCC: Hybrid Systems - Computation and Control (2)

More Publications

Affiliation
  1. IST Austria (57)
Peer reviewed
  1. yes (50)
  2. no (7)
Invited
  1. no (57)

Results (57)

  • Controllable-choice message sequence graphs
    Conference paper