Clocks, communications, and correctness

P. Zhou

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

143 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Roever, de, W.P., Promotor
  • Baeten, Jos, Promotor
  • Hooman, Jozef J.M., Copromotor, External person
Award date2 Dec 1993
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-0442-4
DOIs
Publication statusPublished - 1993

Cite this