Author:
Berthomieu Bernard,Vernadat François
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th IEEE Symposium on Logic in Computer Science, pages 414–425, june 1990.
2. Lect Notes Comput Sci;R. Alur,1996
3. M. C. Browne, E. M. Clarke, and O. Grümberg. Characterizing finite kripke structures in propositional temporal logics. Theoretical Computer Science, 59:115–131, 1988.
4. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3):259–273, March 1991.
5. B. Berthomieu. La méthode des classes d’tats pour l’analyse des rśeaux temporels-mise enœuvre, extension ĺa multi-sensibilisation. In Proc. Modélisation des Systémes Ráctifs, Toulouse, France, October 2001.
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献