Results (11)

  • Reactive modules
    Conference paper
  • CAV: Computer Aided Verification
    Edited conference proceeding
  • The theory of hybrid automata
    Conference paper