Decomposition-Based Verification of Cyclic Workflows
Year: 2005
Type: conference-paper
DOI: 10.1007/11562948_9
Authors: Yongsun Choi, J. Leon Zhao
Institutions: Inje University, University of Arizona
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: closed
OpenAlex ID: W1509500618
