Constantinos Papadopoulos. An Automata-Based Approach To Cscw Verification. Int. J. Cooperative Inf. Syst., 13(2):183-209, 2004. [doi]
@article{Papadopoulos04,
title = {An Automata-Based Approach To Cscw Verification},
author = {Constantinos Papadopoulos},
year = {2004},
doi = {10.1142/S0218843004000936},
url = {http://dx.doi.org/10.1142/S0218843004000936},
tags = {rule-based, systematic-approach},
researchr = {https://researchr.org/publication/Papadopoulos04},
cites = {0},
citedby = {0},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {13},
number = {2},
pages = {183-209},
}