"Efficient Compliance Checking Using BPMN-Q and Temporal Logic."

Ahmed Awad, Gero Decker, Mathias Weske (2008)

Details and statistics

DOI: 10.1007/978-3-540-85758-7_24

access: closed

type: Conference or Workshop Paper

metadata version: 2019-08-31