Using Formal Analysis Techniques in Business Process Redesign

Kees M. van Hee, Hajo A. Reijers. Using Formal Analysis Techniques in Business Process Redesign. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 142-160, Springer, 2000. [doi]

Authors

Kees M. van Hee

This author has not been identified. It may be one of the following persons: Look up 'Kees M. van Hee' in Google

Hajo A. Reijers

This author has not been identified. Look up 'Hajo A. Reijers' in Google