Semantics and verification of UML activity diagrams for workflow modelling

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

68 Downloads (Pure)
Original languageEnglish
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Wieringa, Roel J., Promotor, External person
Award date25 Oct 2002
Place of PublicationEnschede
Publisher
Print ISBNs9036518202
Publication statusPublished - 25 Oct 2002
Externally publishedYes

Bibliographical note

Proefschrift.

Cite this