Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT.

Zhipeng Shao, HanYong Hao, Yuanyuan Ma, Chen Wang, Jiaxuan Fei

Browse the full QRS paper archive.