Digital Library[ Search Result ]
Search : "[ author: Ceong Hee Taek ]" (1)
Modeling and Verification of Workflows with Time Constraints
Ceong Hee Taek Lee Do Heon Kim Moon Ja Lew Young Chul
Vol. 6, No. 2, pp. 261-273, Feb. 1999
10.3745/KIPSTE.1999.6.2.261
Vol. 6, No. 2, pp. 261-273, Feb. 1999
10.3745/KIPSTE.1999.6.2.261