bibtex

@article{BOUKALA2012

author = BOUKALA, Mohand Cherif; Petrucci, Laure;
title = Distributed CTL Model-Checking and counterexample search;
journal = International Journal of Critical Computer-Based Systems (IJCCBS) ;
volume = 3 ,
number = 1 ,
month = Janvier,
year = 2012, }