Languages for analysis and testing of event sequences

A.G. Engels

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

57 Downloads (Pure)

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

Access to Document