Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi. Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Transactions, 95-D(5):1342-1354, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.