%0 Conference Paper %1 Wagner2012 %A Wagner, Sebastian %A Kopp, Oliver %A Leymann, Frank %B Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012) %C Bamberg %D 2012 %I CEUR Workshop Proceedings %K imported %P 1--8 %T Towards Verification of Process Merge Patterns with Allen’s Interval Algebra

@inproceedings{Wagner2012, added-at = {2024-01-09T23:06:30.000+0100}, address = {Bamberg}, author = {Wagner, Sebastian and Kopp, Oliver and Leymann, Frank}, biburl = {https://www.bibsonomy.org/bibtex/22b86263006839810b4f6c392f78311b6/koppor}, booktitle = {Proceedings of the 4\textsuperscript{th} Central-European Workshop on Services and their Composition (ZEUS 2012)}, interhash = {6604bd6c70bcf7d280ce7a7aa6282b41}, intrahash = {2b86263006839810b4f6c392f78311b6}, keywords = {imported}, month = mar, pages = {1--8}, publisher = {CEUR Workshop Proceedings}, timestamp = {2024-01-09T23:06:30.000+0100}, title = {{Towards Verification of Process Merge Patterns with Allen{\textquoteright}s Interval Algebra}}, year = 2012 }