IIST and UNU - UNU-IIST - United Nations University
IIST and UNU - UNU-IIST - United Nations University
IIST and UNU - UNU-IIST - United Nations University
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
References 20<br />
[17] C. Zhou, C. A. R. Hoare, <strong>and</strong> A. P. Ravn. A calculus of durations. Information Processing<br />
Letters, 40(5):269–276, 1991.<br />
[18] C.C. Zhou, A.P. Ravn, <strong>and</strong> M.R. Hansen. An extended duration calculus for hybrid realtime<br />
systems. In R.L. Grossman, A. Nerode, A.P. Ravn, <strong>and</strong> H. Rischel, editors, Hybrid<br />
Systems, Lecture Notes in Computer Science 736, pages 36–59. Springer-Verlag, 1993.<br />
Report No. 301,<br />
<strong>UNU</strong>-<strong>IIST</strong>, P.O. Box 3058, Macau