Author:
Courcoubetis C.,Dill D.,Chatzaki M.,Tzounakis P.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. S. Aggarwal, D. Barbara, and K. Z. Meth. Spanner — a tool for the specification, analysis, and evaluation of protocols. IEEE Trans. on Software Engineering, 1986.
2. S. Aggarwal and C. Courcoubetis. Distributed implementation of a model of communication and computation. In Proceedings of the 18th Hawaii Intl. Conference on System Sciences, pages 206–218, January 1985.
3. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414–425, Philadelphia, June 1990.
4. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for probabilistic real-time systems. In Proceedings of the 18th ICALP, pages 115–126, Madrid, July 1991.
5. R. Alur, C. Courcoubetis, and D. Dill. Verifying automata specifications of probabilistic real-time systems. In Proceedings of the REX Workshop, Plasmolen, June 1991.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A mixed event-value based specification model for reactive systems;System-on-Chip Methodologies & Design Languages;2001
2. Model checking timed automata;Lectures on Embedded Systems;1998
3. Extending promela and spin for real time;Tools and Algorithms for the Construction and Analysis of Systems;1996
4. Verification of timing properties of VHDL;Computer Aided Verification;1993