Skip to content

Slicing Petri Nets with an Application to Workflow Verification.

Astrid Rakow

VenueBSOFSEM
Year2008
ProceedingsSOFSEM

Browse the full SOFSEM paper archive.