Georg Grossmann, Michael Schrefl, Markus Stumptner. Verification of Business Process Integration Options. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 432-438, Springer, 2006. [doi]
Abstract is missing.