Skip to content

Petri Net Modeling and Verification of Transactional Workflows.

Kais Klai, Walid Gaaloul

VenueCWETICE
Year2011
ProceedingsWETICE

Browse the full WETICE paper archive.