Gustavo Ramos Zani, L. and Lemelle Fernandes, P. (2016) “PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL”, Revista da Graduação, 9(1). Available at: https://revistaseletronicas.pucrs.br/index.php/graduacao/article/view/23959 (Accessed: 18 May 2024).