![](/img/cover-not-exists.png)
Formal Verification of Effectiveness of Control Activities in Business Processes
ARIMOTO, Yasuhito, IIDA, Shusaku, FUTATSUGI, KokichiVolume:
E95.D
Year:
2012
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.E95.D.1342
File:
PDF, 822 KB
english, 2012