L Allal, G Belalem, P Dhaussy, and C Teodorov. Using parallel and distributed reachability in model checking. In 2nd International Conference on Computer, Communication and Computational Sciences (RACCCS-2017), volume 628. Aryabhatta College of Engineering & Research Center, Ajmer, India., 2017.
L Allal, G Belalem, and P Dhaussy. Towards distributed solution to the state explosion
problem. In Satapathy S., Mandal J., Udgata S., Bhateja V. (eds) Information Systems
Design and Intelligent Applications., volume 433. Springer, New Delhi, 2016.