Author:
Cassez Franck,Laroussinie François
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense realtime. Information and Computation 104(1), 2–34 (1993)
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science B 137 (January 1995)
3. Alur, R., Henziger, T.A., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22(3), 181–201 (1996)
4. Lecture Notes in Computer Science;L. Aceto,1999
5. Andersen, H.R.: Partial Model Checking. In: Proc. of LICS 1995(1995)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Quotient in Preorder Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-20
2. Natural Projection as Partial Model Checking;Journal of Automated Reasoning;2020-08-13
3. Compositional verification of asynchronous concurrent systems using CADP;Acta Informatica;2015-04-22
4. Modeling Time;Models and Analysis in Distributed Systems;2013-03-06
5. Decompositional Reasoning about the History of Parallel Processes;Fundamentals of Software Engineering;2012