Languages for analysis and testing of event sequences

A.G. Engels

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

57 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Feijs, Loe M.G., Promotor
  • Baeten, Jos, Promotor
  • Mauw, Sjouke, Copromotor
Award date27 Apr 2001
Place of PublicationEindhoven
Publisher
DOIs
Publication statusPublished - 2001

Cite this