Doctoral Dissertations
Fault tolerance in concurrent systems through formal methods
Department(s)
Computer Science
Degree Name
Ph. D. in Computer Science
Publisher
University of Missouri--Rolla
Publication Date
Summer 1992
Pagination
xi, 134 pages
Rights
© 1992 Hanan Lutfiyya, All rights reserved.
Document Type
Dissertation - Citation
File Type
text
Language
English
Thesis Number
T 6434
Print OCLC #
27757545
Recommended Citation
Lutfiyya, Hanan, "Fault tolerance in concurrent systems through formal methods" (1992). Doctoral Dissertations. 833.
https://scholarsmine.mst.edu/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.
