A static compliance-checking framework for business process models.

Published in: IBM Syst. J. (2007)

Keyphrases