Similar Items: Business process modelling using model checking and the theory of constraints

Author: Schutte, C. S. L.