Towards Verification of Process Merge Patterns with Allen's Interval Algebra

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]

Authors

Sebastian Wagner

This author has not been identified. Look up 'Sebastian Wagner' in Google

Oliver Kopp

This author has not been identified. It may be one of the following persons: Look up 'Oliver Kopp' in Google

Frank Leymann

This author has not been identified. Look up 'Frank Leymann' in Google