Author:
Choe Changil,Ahn Univan,Han Song
Publisher
Springer International Publishing
Reference18 articles.
1. Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269–276 (1991)
2. Lecture Notes in Computer Science;C Zhou,1994
3. Lecture Notes in Computer Science;Y Kesten,1993
4. Braberman, V.A., Van Hung, D.: On checking timed automata for linear duration invariants. In: Proceedings of the 19th Real-Time Systems Symposium RTSS 1998, pp. 264–273. IEEE Computer Society Press, Los Alamitos (1998)
5. Lecture Notes in Computer Science;M Zhang,2008