Graphical and Logical Formalisms for Business Process Modeling and Verification

Henry H. Bi
2004 Social Science Research Network  
doi:10.2139/ssrn.2634608 fatcat:p3timd5gynbrtgmhc2su5dr3tu