Modeling and Verification of Workflows with Time Constraints
Vol. 6, No. 2, pp. 261-273, Feb. 1999
10.3745/KIPSTE.1999.6.2.261
Abstract
Statistics
|
Cite this article
[IEEE Style]
C. H. Taek, L. D. Heon, K. M. Ja, L. Y. Chul, "Modeling and Verification of Workflows with Time Constraints," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 2, pp. 261-273, 1999. DOI: 10.3745/KIPSTE.1999.6.2.261.
[ACM Style]
Ceong Hee Taek, Lee Do Heon, Kim Moon Ja, and Lew Young Chul. 1999. Modeling and Verification of Workflows with Time Constraints. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 2, (1999), 261-273. DOI: 10.3745/KIPSTE.1999.6.2.261.