John A. Keane, Walter Hussak
A Formal Approach to Determining Parallel Resource Bindings: Experience Report
ICSE, 1994.
@inproceedings{ICSE-1994-KeaneH,
acmid = "257734.257738",
author = "John A. Keane and Walter Hussak",
booktitle = "{Proceedings of the 16th International Conference on Software Engineering}",
editor = "Bruno Fadini and Leon J. Osterweil and Axel van Lamsweerde",
isbn = "0-8186-5855-X",
pages = "15--22",
publisher = "{IEEE Computer Society / ACM Press}",
title = "{A Formal Approach to Determining Parallel Resource Bindings: Experience Report}",
year = 1994,
}