Towards Verification of Process Merge Patterns with Allen’s Interval Algebra
S. Wagner, O. Kopp, and F. Leymann. Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), page 1--8. Bamberg, CEUR Workshop Proceedings, (March 2012)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}