@article{allal:hal-01373317,
  TITLE = {{A Parallel Algorithm for the State Space Exploration}},
  AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe and Teodorov, Ciprian},
  URL = {https://hal.science/hal-01373317},
  JOURNAL = {{Scalable Computing : Practice and Experience}},
  PUBLISHER = {{West University of Timisoara}},
  SERIES = {Scalable Computing: Practice and Experience},
  VOLUME = {17},
  NUMBER = {2},
  PAGES = {129-141},
  YEAR = {2016},
  MONTH = Sep,
  DOI = {10.12694/scpe.v17i2.1161},
  KEYWORDS = {reachability graph ; memory space ; parallel algo- ; Model checking ; state explosion problem ; parallel exploration},
  HAL_ID = {hal-01373317},
  HAL_VERSION = {v1},
}