Author:
Mendt Tamara,Sinz Carsten,Tveretina Olga
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., Hofstede, T.A.H.M., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal 15(1), 74–92 (2007)
2. Ly, L.T., Göser, K., Rinderle-Ma, S., Dadam, P.: Compliance of semantic constraints - a requirements analysis for process management systems. In: 1st Int’l Workshop on Governance, Risk and Compliance - Applications in Information Systems, Montpellier, France (2008)
3. Lecture Notes in Computer Science;W. Janssen,1999
4. Lecture Notes in Business Information Processing;R. Lu,2009
5. Schaad, A., Lotz, V., Sohr, K.: A model-checking approach to analysing organisational controls in a loan origination process. In: SACMAT 2006: Proceedings of the Eleventh ACM Symposium on Access Control Models and Technologies, pp. 139–149. ACM Press, New York (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献