Author:
Roussanaly Victor,Sankur Ocan,Markey Nicolas
Publisher
Springer International Publishing
Reference31 articles.
1. Althaus, E., et al.: Verification of linear hybrid systems with large discrete statespaces using counterexample-guided abstraction refinement. Sci. Comput. Program. 1(48), 123–160 (2017)
2. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Inf. Comput. 104(1), 2–34 (1993)
3. Lecture Notes in Computer Science;R Alur,1990
4. Baier, Ch., Katoen, J.-P.: Principles of Model-Checking. MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;T Ball,2001
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献