- Record: found
- Abstract: not found
- Book Chapter: not found
Security Protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings
An Operational Decision Support Framework for Monitoring Business Constraints
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references16
- Record: found
- Abstract: not found
- Book Chapter: not found
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
W. VAN DER AALST, H. de Beer, B. van Dongen (2005)
- Record: found
- Abstract: not found
- Article: not found
Declarative specification and verification of service choreographiess
Marco Montali, Maja Pesic, Wil M. P. Van Der Aalst … (2010)
- Record: found
- Abstract: not found
- Book Chapter: not found
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
Ahmed A. Awad, Gero Decker, Mathias Weske (2008)