Publications

Filters: Author is Miguel E. Andrés  [Clear All Filters]
2008
M. E. Andrés, D'Argenio, P. R., and van Rossum, P., “Significant Diagnostic Counterexamples in Probabilistic Model Checking”, in Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, 2008, vol. LNCS 5394, pp. 129-148.PDF icon paper-19.pdf (363.58 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054