Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Ostro., J.: Deciding Properties of Timed Transitions Models. IEEE Transactions on Parallel Systems 1 (1990) 170–183. 2
2. Ostro., J., Wonham, W.: A Framework for Real-Time Discret Event Control. IEEE Transactions on Automatic Control 4 (1990) 386-397. 2
3. Alur, R., Henzinger, T.: Real-time system = discrete system + clock variables. In Rus, T., Rattray, C., eds.: Theories and Experiences for Real-Time System Development-Papers presented at First AMAST Workshop on Real-Time System Development, Iowa City, Iowa, November 1993, World Scientific (1994) 1–29. 2
4. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126 (1994) 183–235. 2, 3
5. Lect Notes Comput Sci;R. Alur,1990