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]
Abstract is missing.