Return to search

Safety and hazard analysis in concurrent systems

Thesis (Ph. D.)--University of Iowa, 2005. / Includes bibliographical references (leaves 141-147).

  1. http://ir.uiowa.edu/etd/106
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/233144176
Date January 2005
CreatorsRao, Shrisha.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0812 seconds