Modeling and Verifying the TTCAN Protocol Using Timed CSP.

Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu

Browse the full TASE paper archive.