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]
@inproceedings{WagnerKL12-0, title = {Towards Verification of Process Merge Patterns with Allen's Interval Algebra}, author = {Sebastian Wagner and Oliver Kopp and Frank Leymann}, year = {2012}, url = {http://ceur-ws.org/Vol-847/paper11.pdf}, researchr = {https://researchr.org/publication/WagnerKL12-0}, cites = {0}, citedby = {0}, pages = {81-88}, booktitle = {th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012}, editor = {Andreas Schönberger and Oliver Kopp and Niels Lohmann}, volume = {847}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }