ŠIMOŇÁK, S.; ŠOLC, M. Enhancing Formal Methods Integration with ACP2Petri. Journal of Information and Organizational Sciences, [S. l.], v. 40, n. 2, 2016. DOI: 10.31341/jios.40.2.4. Disponível em: //jios.foi.hr/index.php/jios/article/view/1063. Acesso em: 28 mar. 2024.