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://merlin.lib.umsystem.edu/record=b2379537~S5
Lutfiyya, Hanan, "Fault tolerance in concurrent systems through formal methods" (1992). Doctoral Dissertations. 833.
Share My Dissertation If you are the author of this work and would like to grant permission to make it openly accessible to all, please click the button above.