Using formal analysis techniques in business process redesign,” (2000)

by K M van Hee
Venue:in Business Process Management, W. van der Aalst etal., Eds.