Mohand Cherif Boukala, Laure Petrucci. Distributed model-checking and counterexample search for CTL logic. IJCCBS, 3(1/2):44-59, 2012. [doi]
@article{BoukalaP12,
title = {Distributed model-checking and counterexample search for CTL logic},
author = {Mohand Cherif Boukala and Laure Petrucci},
year = {2012},
doi = {10.1504/IJCCBS.2012.045076},
url = {http://dx.doi.org/10.1504/IJCCBS.2012.045076},
researchr = {https://researchr.org/publication/BoukalaP12},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {3},
number = {1/2},
pages = {44-59},
}