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/graduacao/article/view/23959 (Accessed: 16 August 2024).