Qianhui Althea Liang, J. Leon Zhao. Verification of Unstructured Workflows via Propositional Logic. In Roger Y. Lee, editor, 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA. pages 247-252, IEEE Computer Society, 2008. [doi]
Abstract is missing.