@inproceedings{DBLP:conf/issta/YoungTFB89,
author = {Michal Young and
Richard N. Taylor and
K. Forester and
Debra Brodbeck},
title = {Integrated Concurrency Analysis in a Software Development
Enviornment},
booktitle = {Symposium on Testing, Analysis, and Verification},
year = {1989},
pages = {200-209},
ee = {http://doi.acm.org/10.1145/75308.75331},
bibsource = {DBLP, http://dblp.uni-trier.de}
}