Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen.

Rafael Accorsi

Browse the full GI paper archive.