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]
@inproceedings{LiangZ08,
title = {Verification of Unstructured Workflows via Propositional Logic},
author = {Qianhui Althea Liang and J. Leon Zhao},
year = {2008},
doi = {10.1109/ICIS.2008.66},
url = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2008.66},
tags = {logic, workflow},
researchr = {https://researchr.org/publication/LiangZ08},
cites = {0},
citedby = {0},
pages = {247-252},
booktitle = {7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA},
editor = {Roger Y. Lee},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3131-1},
}