Author:
Dimitrova Rayna,Ghasemi Mahsa,Topcu Ufuk
Publisher
Springer International Publishing
Reference20 articles.
1. Almagor, S., Boker, U., Kupferman, O.: Formally reasoning about quality. J. ACM 63(3), 24:1–24:56 (2016)
2. Lecture Notes in Computer Science;R Alur,2008
3. Baier, C., Katoen, J.-P.: Principles of model checking (2008)
4. Lecture Notes in Computer Science;R Bloem,2009
5. Lecture Notes in Computer Science;A Cimatti,2008
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献