Linh Thao Ly, Stefanie Rinderle-Ma, Peter Dadam. Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In Barbara Pernici, editor, Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings. Volume 6051 of Lecture Notes in Computer Science, pages 9-23, Springer, 2010. [doi]
Abstract is missing.