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.
Abstract is missing.