Conditioned slicing-Based Pre-Reduction Technique for efficient MDG Model-checker Journal title: International Journal on Computer Science and Engineering Authors: Saad Elmansori Subject(s):
