Message sequence chart : syntax and semantics

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

261 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Feijs, Loe M.G., Promotor Mauw, Sjouke, Copromotor
Award date	7 Jun 1999
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
DOIs	https://doi.org/10.6100/IR524323
Publication status	Published - 1999

Access to Document

@phdthesis{97de41c44a3f4b1ab4de435dee09c774,

title = "Message sequence chart : syntax and semantics",

author = "M.A. Reniers",

year = "1999",

doi = "10.6100/IR524323",

language = "English",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}