Christian Wolter, Philip Miseldine, Christoph Meinel. Verification of Business Process Entailment Constraints Using SPIN. In Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone, editors, Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings. Volume 5429 of Lecture Notes in Computer Science, pages 1-15, Springer, 2009.
No references recorded for this publication.
No citations of this publication recorded.