Syntax-directed verification of distributed systems

R.T. Gerth

Research output: ThesisPhd Thesis 3 (Research TU/e / Graduation NOT TU/e)

79 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Utrecht University
Supervisors/Advisors
  • Roever, de, W.P., Promotor
  • van Leeuwen, Jan, Promotor, External person
Award date8 May 1989
Place of PublicationUtrecht
Publisher
Publication statusPublished - 1989

Cite this