A Formal Approach to Determining Parallel Resource Bindings: Experience Report

@inproceedings{Keane-Hussak:ICSE94,
  author    = {John A. Keane and
               Walter Hussak},
  title     = {A Formal Approach to Determining Parallel Resource Bindings: Experience Report},
  booktitle = {ICSE},
  pages     = {15--22},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}