Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil. Verifying properties of process definitions. In ISSTA. pages 96-101, 2000. [doi]
@inproceedings{CobleighCO00,
title = {Verifying properties of process definitions},
author = {Jamieson M. Cobleigh and Lori A. Clarke and Leon J. Osterweil},
year = {2000},
doi = {10.1145/347324.348876},
url = {http://doi.acm.org/10.1145/347324.348876},
researchr = {https://researchr.org/publication/CobleighCO00},
cites = {0},
citedby = {0},
pages = {96-101},
booktitle = {ISSTA},
}