%0 Thesis %T Reducing the impact of state space explosion in Stochastic Automata Networks %U http://tede2.pucrs.br/tede2/handle/tede/5056 %I Pontif?cia Universidade Cat?lica do Rio Grande do Sul