Journal of Computing and Information Technology

Bourahla, Mustapha, Department of Computer Science, University of M'sila, Algeria, Algeria

• Vol 21, No 1 (2013) - Regular Papers
  Generating Diagnoses for Probabilistic Model Checking Using Causality
  Abstract  PDF