Nagatou, Naoyuki, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology., Japan

• International Journal of Industrial Engineering: Theory, Applications and Practice Vol. 22 No. 4 (2015) - Special Issue: Asia Pacific Conference on Business Process Management
  A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS
  Abstract