Process algebras for hybrid systems : comparison and development

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

267 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Cuijpers, Pieter J.L., Copromotor
Award date	29 Sept 2008
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-1398-7
DOIs	https://doi.org/10.6100/IR637804
Publication status	Published - 2008

Access to Document

@phdthesis{ddcae670c4cd42b2ba1e5bc62ca122f6,

title = "Process algebras for hybrid systems : comparison and development",

author = "U. Khadim",

year = "2008",

doi = "10.6100/IR637804",

language = "English",

isbn = "978-90-386-1398-7",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}