Zicong Chen, Yong Tang, Gaofeng Ji. Specify Properties in Synchronous CSCW Systems with Extended Temporal Logical Method. In Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China. pages 89-94, IEEE, 2006. [doi]
@inproceedings{ChenTJ06,
title = {Specify Properties in Synchronous CSCW Systems with Extended Temporal Logical Method},
author = {Zicong Chen and Yong Tang and Gaofeng Ji},
year = {2006},
doi = {10.1109/CSCWD.2006.253144},
url = {http://dx.doi.org/10.1109/CSCWD.2006.253144},
researchr = {https://researchr.org/publication/ChenTJ06},
cites = {0},
citedby = {0},
pages = {89-94},
booktitle = {Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China},
publisher = {IEEE},
isbn = {1-4244-0165-8},
}