Fault tolerance in concurrent systems through formal methods
Ph. D. in Computer Science
University of Missouri--Rolla
xi, 134 pages
© 1992 Hanan Lutfiyya, All rights reserved.
Dissertation - Citation
Print OCLC #
Link to Catalog Record
Full-text not available: Request this publication directly from Missouri S&T Library or contact your local library.http://laurel.lso.missouri.edu/record=b2379537~S5
Lutfiyya, Hanan, "Fault tolerance in concurrent systems through formal methods" (1992). Doctoral Dissertations. 833.
This document is currently not available here.