Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair. Modelling and Validation with VipTool. In Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske, editors, Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings. Volume 2678 of Lecture Notes in Computer Science, pages 380-389, Springer, 2003. [doi]
Abstract is missing.