Formalisms for program reification and fault tolerance

J.A.A. Coenen

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

134 Downloads (Pure)

Original language	English
Qualification	Doctor 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 date	18 May 1994
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
DOIs	https://doi.org/10.6100/IR417244
Publication status	Published - 1994

Access to Document