Patterns for a Log-Based Strengthening of Declarative Compliance Models

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_23 ◽

2012 ◽

pp. 327-342 ◽

Author(s):

Dennis M. M. Schunselaar ◽

Fabrizio M. Maggi ◽

Natalia Sidorova

Download Full-text