Modeling and Verifying the Ariadne Protocol Using CSP

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems ◽

10.1109/ecbs.2012.31 ◽

2012 ◽

Cited By ~ 4

Author(s):

Xi Wu ◽

Si Liu ◽

Huibiao Zhu ◽

Yongxin Zhao ◽

Lei Chen

Download Full-text