Verifying responsiveness for open systems by means of conformance checking

R. Müller

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

372 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • van der Aalst, Wil, Promotor
  • Reisig, Wolfgang, Promotor, External person
  • Stahl, Christian, Copromotor
Award date28 Aug 2014
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-8891-915-2
DOIs
Publication statusPublished - 2014

Cite this