Skip to content

Strong non-leak guarantees for workflow models.

Rafael Accorsi, Claus Wonnemann

Year2011
ProceedingsSAC

Browse the full SAC paper archive.