Efficient Compliance Checking Using {BPMN-Q} and Temporal Logic
- Citation:
- Awad, A., G. Decker, and M. Weske, "Efficient Compliance Checking Using {BPMN-Q} and Temporal Logic", Business Process Management, 6th International Conference, {BPM} 2008, Milan, Italy, September 2-4, 2008. Proceedings, vol. 5240: Springer, pp. 326–341, 2008.
Abstract:
n/a
Notes:
n/a