Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh. A methodology for verification and analysis of parallel and distributed systems requirements specifications. In International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1997, Boston, MA, USA, May 17-18, 1997. pages 28-38, IEEE Computer Society, 1997. [doi]
@inproceedings{LateefAMN97,
title = {A methodology for verification and analysis of parallel and distributed systems requirements specifications},
author = {Khalid Lateef and Hany H. Ammar and Vinay Mogulothu and Tooraj Nikzadeh},
year = {1997},
doi = {10.1109/PDSE.1997.596824},
url = {http://doi.ieeecomputersociety.org/10.1109/PDSE.1997.596824},
researchr = {https://researchr.org/publication/LateefAMN97},
cites = {0},
citedby = {0},
pages = {28-38},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1997, Boston, MA, USA, May 17-18, 1997},
publisher = {IEEE Computer Society},
isbn = {0-8186-8043-1},
}