@article{allal:hal-01373327, TITLE = {{Sequential and Parallel Algorithms for the State Space Exploration''}}, AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe and Teodorov, Ciprian}, URL = {https://hal.science/hal-01373327}, JOURNAL = {{Cybernetics and Information Technologies}}, VOLUME = {16}, NUMBER = {1}, YEAR = {2016}, MONTH = Sep, DOI = {10.1515/cait-2016-0001}, KEYWORDS = {state explosion problem ; Model checking ; sequential exploration ; parallel exploration.}, HAL_ID = {hal-01373327}, HAL_VERSION = {v1}, }