Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Verification of Timed BPEL 2.0 Models. In Terry A. Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider, editors, Enterprise, Business-Process and Information Systems Modeling - 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings. Volume 81 of Lecture Notes in Business Information Processing, pages 261-275, Springer, 2011. [doi]
Abstract is missing.