S
Stochastic Automata for Fault Tolerant Concurrent Systems
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.