@inproceedings{allal:hal-01298895, TITLE = {{Towards Distributed Solution to the State Explosion Problem}}, AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe}, URL = {https://hal.science/hal-01298895}, BOOKTITLE = {{INDIA 2016}}, ADDRESS = {Vishakapatnam, India}, EDITOR = {Springer}, SERIES = {Information Systems Design and Intelligent Applications}, VOLUME = {433}, YEAR = {2016}, MONTH = Jan, DOI = {10.1007/978-81-322-2755-7\_56}, KEYWORDS = {Model checking State explosion problem Formal methods State compression}, HAL_ID = {hal-01298895}, HAL_VERSION = {v1}, }