Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck. Integrated Concurrency Analysis in a Software Development Enviornment. In Symposium on Testing, Analysis, and Verification. pages 200-209, 1989. [doi]
@inproceedings{YoungTFB89,
title = {Integrated Concurrency Analysis in a Software Development Enviornment},
author = {Michal Young and Richard N. Taylor and K. Forester and Debra Brodbeck},
year = {1989},
doi = {10.1145/75308.75331},
url = {http://doi.acm.org/10.1145/75308.75331},
tags = {analysis},
researchr = {https://researchr.org/publication/YoungTFB89},
cites = {0},
citedby = {0},
pages = {200-209},
booktitle = {Symposium on Testing, Analysis, and Verification},
}