Login / Signup
Towards Verification of Process Merge Patterns with Allen's Interval Algebra.
Sebastian Wagner
Oliver Kopp
Frank Leymann
Published in:
ZEUS (2012)
Keyphrases
</>
interval algebra
temporal reasoning
low level