Original language | English |
---|---|
Qualification | Doctor of Philosophy |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 8 May 1989 |
Place of Publication | Utrecht |
Publisher | |
Publication status | Published - 1989 |
Syntax-directed verification of distributed systems
R.T. Gerth
Research output: Thesis › Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)
79
Downloads
(Pure)