Shiraki, Ryoya

• Information Engineering Express Vol. 3 No. 4 (2017): Published on December 31, 2017 - Technical Papers (Advanced Applied Informatics)
  Temporal Verification of Business Processes Using BPMN and CPN
  Abstract  PDF