Digital Library[ Search Result ]


Search : "[ author: Hee Taek Ceong ]" (1)
Commitability and Integrity Verification of Workflow Specification with Petri Nets
Hee Taek Ceong  Do Heon Lee
Vol. 7, No. 7, pp. 2028-2040, Jul. 2000
10.3745/KIPSTE.2000.7.7.2028