Publisher
Springer International Publishing
Reference39 articles.
1. Alpern, B., Schneider, F.: Defining liveness. Inform. Process. Lett. 21(4), 181–185 (1985)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
3. Barnat, J., Bauch, P., Brim, L., Češka, M.: Designing fast LTL model checking algorithms for many-core GPUs. J. Parall. Distrib. Comput. 72, 1083–1097 (2012)
4. Lecture Notes in Computer Science;J Barnat,2009
5. Lecture Notes in Computer Science;J Barnat,2001
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献