Formal semantics and automated analysis of BPMN process models

R.M. Dijkman, M. Dumas, C. Ouyang

Research output: Book/ReportReportAcademic

42 Downloads (Pure)
Original languageEnglish
Place of PublicationBrisbane, Australia
PublisherQueensland University of Technology
Number of pages25
Publication statusPublished - 2007

Publication series

NameTechnical Report Preprint
Volume5969

Cite this