Walter Hussak, John A. Keane. Expressing Requirements on a Parallel System Formally. Requir. Eng., 1(4):199-209, 1996.
@article{HussakK96,
title = {Expressing Requirements on a Parallel System Formally},
author = {Walter Hussak and John A. Keane},
year = {1996},
researchr = {https://researchr.org/publication/HussakK96},
cites = {0},
citedby = {0},
journal = {Requir. Eng.},
volume = {1},
number = {4},
pages = {199-209},
}