Michigan Technological University Digital Commons @ Michigan Tech
Dissertations, Master's Theses and Master's Dissertations, Master's Theses and Master's Reports - Open Reports
2012
Automated design of self-stabilization
Aly M. Farahat Michigan Technological University
Follow this and additional works at: https://digitalcommons.mtu.edu/etds Copyright 2012 Aly M. Farahat
Recommended Citation Farahat, Aly M., "Automated design of self-stabilization", Dissertation, Michigan Technological University, 2012. https://doi.org/10.37099/mtu.dc.etds/178
Follow this and additional works at: https://digitalcommons.mtu.edu/etds AUTOMATED DESIGN OF SELF-STABILIZATION
By
Aly M. Farahat
A DISSERTATION
Submitted in partial fulfillment of the requirements for the degree of
DOCTOR OF PHILOSOPHY
(Computer Science)
MICHIGAN TECHNOLOGICAL UNIVERSITY
2012