ACM

SHERPA: green

People

Groups

  1. Henzinger Group (3)

Results (3)

  • The benefits of relaxing punctuality
    Conference paper
  • Temporal proof methodologies for real-time systems
    Conference paper