Skip to content

A Survey of Formal Verification for Business Process Modeling.

Shoichi Morimoto

Year2008
ProceedingsICCS (2)

Browse the full ICCS paper archive.