Fodé Touré, Karim Baïna, Khalid Benali. An Efficient Algorithm for Workflow Graph Structural Verification. In Robert Meersman, Zahir Tari, editors, On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I. Volume 5331 of Lecture Notes in Computer Science, pages 392-408, Springer, 2008. [doi]
@inproceedings{ToureBB08,
title = {An Efficient Algorithm for Workflow Graph Structural Verification},
author = {Fodé Touré and Karim Baïna and Khalid Benali},
year = {2008},
doi = {10.1007/978-3-540-88871-0_26},
url = {http://dx.doi.org/10.1007/978-3-540-88871-0_26},
tags = {graph-rewriting, workflow, rewriting},
researchr = {https://researchr.org/publication/ToureBB08},
cites = {0},
citedby = {0},
pages = {392-408},
booktitle = {On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I},
editor = {Robert Meersman and Zahir Tari},
volume = {5331},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-88870-3},
}