Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;P. Chan,1995
2. Chaochen, Z., Hansen, M.R.: Duration Calculus. Springer, Heidelberg (2004)
3. Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters 40(5), 269–276 (1992)
4. Guelev, D.P.: A Complete Proof System for First Order Interval Temporal Logic with Projection. Technical Report 202, UNU-IIST, P.O.Box 3058, Macau, June 2000. A revised version of this report was published in the Journal of Logic and Computation 14(2), 215–249 (2004)
5. Guelev, D.P., Van Hung, D.: Prefix and projection onto state in duration calculus. In: Asarin, O.M.E., Yovine, S. (eds.) Electronic Notes in Theoretical Computer Science, vol. 65, Elsevier Science Publishers, Amsterdam (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献