Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial

Tesis (Doctor 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: Giro, Sergio Sebastián
Other Authors: D'Argenio, Pedro Ruben
Format: doctoralThesis
Language:spa
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/11086/136