Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM

Tesis (Lic. en Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Bibliographic Details
Main Author: Zandarin, Nicolás Hugo
Other Authors: D'Argenio, Pedro Ruben
Format: bachelorThesis
Language:spa
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/11086/40