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]
Abstract is missing.