Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Miguel E. Andrés  [Clear All Filters]
Conference Paper
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)
Powered by Drupal