APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING - YAMILET ROSARIO SERRANO LLERENA (2018)
Ph.D