Formal Verification of Effectiveness of Control Activities in Business Processes.

Sun, 01 Jan 2012 00:00:00 +0100

Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi:
Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Trans. Inf. Syst. 95-D(5): 1342-1354 (2012)