Skip to content

On the Modeling and Verification of Security-Aware and Process-Aware Information Systems.

Jason Crampton, Michael Huth

VenueABPM
Year2011
ProceedingsBusiness Process Management Workshops (2)

Browse the full BPM paper archive.