An Algorithm Combining Graph-Reduction and Graph-Search for Workflow Graphs Verification.

Kai Lu, Qiang Liu

Browse the full CSCWD paper archive.