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]
@article{ArimotoIF12,
title = {Formal Verification of Effectiveness of Control Activities in Business Processes},
author = {Yasuhito Arimoto and Shusaku Iida and Kokichi Futatsugi},
year = {2012},
url = {http://search.ieice.org/bin/summary.php?id=e95-d_5_1342},
researchr = {https://researchr.org/publication/ArimotoIF12},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {95-D},
number = {5},
pages = {1342-1354},
}