Stochastic Automata for Fault Tolerant Concurrent Systems

Project information

PHD Thesis; Raúl Enrique Monti @ Facultad de Matemática, Astronomía, Física y Computación; Universidad Nacional de Córdoba; Argentina; 2018.

Author: Raúl Enrique Monti. Advisor: Perdro Ruben D'Argenio. Co-advisor: Holger Hermanns.

Created on

October 22, 2019

Loading