@book{15249, author = {Giro, Sergio Sebastián, and D'Argenio, Pedro Ruben,}, title = {Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial / }, publisher = {s.n. ], }, year = {2010.}, address = {[S.l. : }, note = {Tesis firmada por el autor. }, url = {http://hdl.handle.net/11086/136} }