Sebastian Wagner, Oliver Kopp, Frank Leymann. Towards Verification of Process Merge Patterns with Allen's Interval Algebra. In Andreas Schönberger, Oliver Kopp, Niels Lohmann, editors, th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012. Volume 847 of CEUR Workshop Proceedings, pages 81-88, CEUR-WS.org, 2012. [doi]
Abstract is missing.