Author:
Klai Kais,Abid Chiheb Ameur,Arias Jaime,Evangelista Sami
Publisher
Springer International Publishing
Reference31 articles.
1. Abid, C.A., Klai, K., Arias, J., Ouni, H.: SOG-based multi-core LTL model checking. In: ISPA/BDCloud/SocialCom/SustainCom, pp. 9–17. IEEE (2020)
2. Barnat, J., et al.: Parallel model checking algorithms for linear-time temporal logic. In: Handbook of Parallel Constraint Reasoning, pp. 457–507. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-63516-3_12
3. Lecture Notes in Computer Science;J Barnat,2013
4. Barnat, J., Brim, L., Rockai, P.: DiVinE 2.0: high-performance model checking. In: HiBi 2009, pp. 31–32. IEEE Computer Society Press (2009)
5. Lecture Notes in Computer Science;G Bhat,1997
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献