ACM

SHERPA: green

Groups

  1. Henzinger Group (7)
  2. Edelsbrunner Group (1)
  3. Wagner Group (1)

Results (9)

  • Timed interfaces
    Conference paper
  • Lazy abstraction
    Conference paper
  • The embedded machine: predictable, portable real-time code
    Conference paper