Journal of Computing and Information Technology

Debbi, Hichem, 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