Author:
Yamane Satoshi,Kanatani Takashi
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Tilborg, A.M., Koob, G.M.: Foundations of Real-time Computing: Formal Specifications and Methods, p. 316. Kluwer Academic Pub., Dordrecht (1991)
2. Lecture Notes in Computer Science;J.W. Bakker de,1992
3. Kavi, K.M.: Real-Time Systems Abstractions, Languages and Design Methodologies. IEEE Computer Society Press, Los Alamitos (1992)
4. NATO ASI Series F: Computer and Systems Sciences, Vol. 170;M.K. Inan,2000
5. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)