Ahmed Awad, Gero Decker, Mathias Weske. Efficient Compliance Checking Using BPMN-Q and Temporal Logic. In Marlon Dumas, Manfred Reichert, Ming-Chien Shan, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings. Volume 5240 of Lecture Notes in Computer Science, pages 326-341, Springer, 2008. [doi]
Abstract is missing.