Carolina Ming Chiao, Lucinéia Heloisa Thom, Cirano Iochpe, Manfred Reichert. Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models. In Renata Mendes de Araujo, Alexandre Cidral, editors, Proceedings of the 4th Brazilian Symposium on Information Systems, SBSI 2008, Rio de Janeiro, Brazil, April 7-9, 2008. pages 164-175, 2008. [doi]
Abstract is missing.