Mariska Netjes, Hajo A. Reijers, Wil M. P. van der Aalst. On the Formal Generation of Process Redesigns. In Danilo Ardagna, Massimo Mecella, Jian Yang, editors, Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers. Volume 17 of Lecture Notes in Business Information Processing, pages 224-235, Springer, 2008. [doi]
Abstract is missing.