ISU Electrical and Computer Engineering Archives

EPrints submitted by Changyan Zhou

Click here to see user's record.

Number of EPrints submitted by this user: 1

Zhou, Changyan (2007) Supervisory control of discrete event systems for bisimulation and simulation equivalence specifications. PhD thesis, Iowa State University.