Skip to content

Encoding Conformance Checking Artefacts in SAT.

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

VenueABPM
Year2019
ProceedingsBusiness Process Management Workshops

Browse the full BPM paper archive.