Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cscwd/ZhangDT13
AU - Zhang, Peng
AU - Duan, Zhenhua
AU - Tian, Cong
TI - Simulation of CTCS-3 protocol with temporal logic programming.
BT - Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), Whistler, BC, Canada, June 27-29, 2013
SP - 72
EP - 77
PY - 2013//
DO - 10.1109/CSCWD.2013.6580942
UR - https://doi.org/10.1109/CSCWD.2013.6580942
ER -
