Duration Calculus A Formal Approach to Real-Time Systems Zhou Chaochen and Michael R. Hansen Monographs in Theoretical Computer Scienc. An EATCS Series Springer, 2004

• From the back cover
  
  
• Chapters
  
  
• Publisher's book page
  
  
• Corrections
  
  

Comments to Michael R. Hansen, E-mail: mrh@imm.dtu.dk

Last update: January 10, 2004