Author:
Taha Safouan,Wolff Burkhart,Ye Lina
Publisher
Springer International Publishing
Reference37 articles.
1. FDR4 - The CSP Refinement Checker (2019). https://www.cs.ox.ac.uk/projects/fdr/
2. An, J., Zhang, L., You, C.: The design and implementation of data independence in the CSP model of security protocol. Adv. Mater. Res. 915–916, 1386–1392 (2014). https://doi.org/10.4028/www.scientific.net/AMR.915-916.1386
3. Applied Logic Series;P Andrews,2002
4. Lecture Notes in Computer Science;P Antonino,2016
5. Antonino, P., Gibson-Robinson, T., Roscoe, A.W.: Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving. ACM Trans. Softw. Eng. Methodol. 28(3), 18:1–18:43 (2019)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献