Skip to content

Checking Business Process Models for Compliance - Comparing Graph Matching and Temporal Logic.

Dennis M. Riehle

VenueABPM
Year2018
ProceedingsBusiness Process Management Workshops

Browse the full BPM paper archive.