Skip to main navigation Skip to search Skip to main content

Formal semantics and automated analysis of BPMN process models

Research output: Book/ReportReportAcademic

307 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