Sinnakkrishnan Perumal, Ambuj Mahanti. Applying Graph Search Techniques for Workflow Verification. In 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA. pages 48, IEEE Computer Society, 2007. [doi]
Abstract is missing.