John A. Keane, Walter Hussak. A Formal Approach to Determining Parallel Resource Bindings: Experience Report. In ICSE. pages 15-22, 1994. [doi]
@inproceedings{KeaneH94,
title = {A Formal Approach to Determining Parallel Resource Bindings: Experience Report},
author = {John A. Keane and Walter Hussak},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257738},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/KeaneH94},
cites = {0},
citedby = {0},
pages = {15-22},
booktitle = {ICSE},
}