Author:
Coti Camille,Evangelista Sami,Petrucci Laure
Publisher
Springer International Publishing
Reference18 articles.
1. OpenSHMEM Application Programming Interface version 1.4, December 2017. http://www.openshmem.org/site/sites/default/site_files/OpenSHMEM-1.4.pdf
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;Z Baranová,2017
4. Lecture Notes in Computer Science;J Barnat,2001
5. Bingham, B., Bingham, J., de Paula, F.M., Erickson, J., Singh, G., Reitblatt, M.: Industrial strength distributed explicit state model checking. In: PDMC 2010 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking as a Service using Dynamic Resource Scaling;2020 IEEE 27th International Conference on High Performance Computing, Data, and Analytics (HiPC);2020-12
2. Grasper;Proceedings of the ACM Symposium on Cloud Computing;2019-11-20