Gustavo Ramos Zani, L. e Lemelle Fernandes, P. 2016. PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL. Revista da Graduação. 9, 1 (maio 2016).