PASSOS, Lígia Maria Soares; 						MAGALHÃES JÚNIOR, Tarcísio Abadio de; 						MAIA, Marcelo de Almeida; 						JULIA, Stéphane.
 Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. <em>In</em>: SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO (SBSI), 9.	, 2013, João Pessoa.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 674-685. 
		DOI: <a href="https://doi.org/10.5753/sbsi.2013.5731">https://doi.org/10.5753/sbsi.2013.5731</a>.