Author:
D'Argenio Pedro R.,Brinksma Ed
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. volume 630 of Lecture Notes in Computer Science;R. Alur,1992
2. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
3. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
4. R. Alur and T.A. Henzinger. Real-time system=discrete system + clock variables. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-Time System Development — Papers presented at First AMAST Workshop on Real-Time System Development, Iowa City, Iowa, November 1993, pages 1–29. World Scientific, 1994.
5. J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Journal of Formal Aspects of Computing Science, 3(2):142–188, 1991.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Security Verification of Transport Protocols for Wireless Sensor Networks;Advanced Computational Methods for Knowledge Engineering;2014
2. General Distributions in Process Algebra;Lecture Notes in Computer Science;2001
3. A Complete Axiomatisation for Timed Automata;FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science;2000
4. A Proof System for Timed Automata;Lecture Notes in Computer Science;2000
5. Regular processes and timed automata;Transformation-Based Reactive Systems Development;1997