Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari. Parallel real-time systems: formal specification. In Proceedings of the Fourth International on High-Performance Computing, HiPC 1997, Bangalore, India, 18-21 December, 1997. pages 186-191, IEEE Computer Society, 1997. [doi]
@inproceedings{ChoudharyGN97,
title = {Parallel real-time systems: formal specification},
author = {Alok N. Choudhary and Vijay Gehlot and Bhagirath Narahari},
year = {1997},
doi = {10.1109/HIPC.1997.634491},
url = {http://doi.ieeecomputersociety.org/10.1109/HIPC.1997.634491},
researchr = {https://researchr.org/publication/ChoudharyGN97},
cites = {0},
citedby = {0},
pages = {186-191},
booktitle = {Proceedings of the Fourth International on High-Performance Computing, HiPC 1997, Bangalore, India, 18-21 December, 1997},
publisher = {IEEE Computer Society},
isbn = {0-8186-8067-9},
}