A New Algorithm Based Graph-Search for Workflow Verification - Zhongjun Du; Zhengjun Dang (2010 2nd International Conference on Information Engineering and Computer Science, 2010)
Keywords: Algorithm design and analysis; Approximation algorithms; Complexity theory; Image edge detection; Synchronization; System recovery; Workflow management software