Fault tolerance and timing of distributed systems : compositional specification and verification

H.J.J.H. Schepers

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

332 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Hammer, Dieter, Promotor Joseph, M., Promotor, External person Gerth, Rob T., Copromotor, External person
Award date	26 May 1994
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0423-8
DOIs	https://doi.org/10.6100/IR417296
Publication status	Published - 1994

Access to Document

@phdthesis{b694c1965cd8489ea5fb08e9f35e50e9,

title = "Fault tolerance and timing of distributed systems : compositional specification and verification",

author = "H.J.J.H. Schepers",

year = "1994",

doi = "10.6100/IR417296",

language = "English",

isbn = "90-386-0423-8",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}