Skip to content

Efficient Compliance Checking Using BPMN-Q and Temporal Logic.

Ahmed Awad, Gero Decker, Mathias Weske

VenueABPM
Year2008
ProceedingsBPM

Browse the full BPM paper archive.