Boudewijn F. van Dongen, Monique H. Jansen-Vullers. Verification of SAP Reference Models. In Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, editors, Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings. Volume 3649 of pages 464-469, 2005. [doi]
Abstract is missing.