@article{allal:hal-01716143,
  TITLE = {{Distributed algorithm to fight the state explosion problem}},
  AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe and Teodorov, Ciprian},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01716143},
  JOURNAL = {{INDERSCIENCE International Journal of Internet Technology and Secured Transactions.}},
  PUBLISHER = {{Inderscience Enterprises}},
  VOLUME = {8},
  NUMBER = {3},
  PAGES = {398 - 411},
  YEAR = {2018},
  DOI = {10.1504/IJITST.2018.10014833},
  KEYWORDS = { state explosion problem ; model checking ;  parallel exploration ;  distributed exploration ;  execution time ;  memory space},
  HAL_ID = {hal-01716143},
  HAL_VERSION = {v1},
}