Published in
Business Process Management Workshops, p. 423-434
DOI: 10.1007/978-3-642-28115-0_40
Links
Tools
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems
Book chapter published in 2012 by
Jason Crampton,
Michael Huth
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 