Specify Properties in Synchronous CSCW Systems with Extended Temporal Logical Method.

Zicong Chen, Yong Tang, Gaofeng Ji

Browse the full CSCWD paper archive.