Peng Zhang, Zhenhua Duan, Cong Tian. Simulation of CTCS-3 protocol with temporal logic programming. In Weiming Shen, Weidong Li, Jean-Paul A. Barthès, Junzhou Luo, Haibin Zhu, Jianming Yong, Xiaoping Li, editors, Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), Whistler, BC, Canada, June 27-29, 2013. pages 72-77, IEEE, 2013. [doi]