Shrisha Rao, Chen Zhang. Safety and Hazard Analysis in Concurrent Systems. In S. Q. Zheng, editor, International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA. pages 391-397, IASTED/ACTA Press, 2005.
@inproceedings{RaoZ05,
title = {Safety and Hazard Analysis in Concurrent Systems},
author = {Shrisha Rao and Chen Zhang},
year = {2005},
tags = {analysis},
researchr = {https://researchr.org/publication/RaoZ05},
cites = {0},
citedby = {0},
pages = {391-397},
booktitle = {International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA},
editor = {S. Q. Zheng},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-525-6},
}