Skip to content

Checking Realizability of a Timed Business Processes Choreography.

Manuel I. Capel

VenueCCLOSER
Year2017
ProceedingsCLOSER

Browse the full CLOSER paper archive.