@incollection{allal:hal-02515020, TITLE = {{Using Parallel and Distributed Reachability in Model Checking}}, AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe and Teodorov, Ciprian}, URL = {https://hal.science/hal-02515020}, BOOKTITLE = {{Ambient Communications and Computer Systems}}, PAGES = {143-154}, YEAR = {2018}, MONTH = Mar, DOI = {10.1007/978-981-10-7386-1\_12}, HAL_ID = {hal-02515020}, HAL_VERSION = {v1}, }