Lígia Maria Soares Passos, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, Stéphane Julia. Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. In Rita Suzana Pitangueira Maciel, Adriana Z. Clericuzi, editors, Proceedings of the 9th Brazilian Symposium on Information Systems, SBSI 2013, João Pessoa, Brazil, May 22-24, 2013. pages 674-685, 2013. [doi]
Abstract is missing.