%0 Book Section %T Using Parallel and Distributed Reachability in Model Checking %+ University of Oran %+ Lab-STICC_ENSTAB_CACS_MOCS %+ Lab-STICC_ENSTAB_ CACS_MOCS %A Allal, Lamia %A Belalem, Ghalem %A Dhaussy, Philippe %A Teodorov, Ciprian %B Ambient Communications and Computer Systems %P 143-154 %8 2018-03-21 %D 2018 %R 10.1007/978-981-10-7386-1_12 %Z Computer Science [cs] %Z Computer Science [cs]/Software Engineering [cs.SE]Book sections %G English %L hal-02515020 %U https://hal.science/hal-02515020 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ ENIB %~ LAB-STICC %~ INSTITUTS-TELECOM