Reducción de orden parcial en model checking probabilista simbólico

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

Bibliographic Details
Main Author: Ferrer Fioriti, Luis María
Other Authors: D'Argenio, Pedro Ruben
Format: bachelorThesis
Language:spa
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/11086/27