@incollection{allal:hal-02515359,
  TITLE = {{Proposed Algorithms to the State Explosion Problem}},
  AUTHOR = {Allal, Lamia and Belalem, Ghalem and Dhaussy, Philippe and Teodorov, Ciprian},
  URL = {https://hal.science/hal-02515359},
  BOOKTITLE = {{Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6--7, 2016, Revised Selected Papers}},
  EDITOR = {Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit},
  PUBLISHER = {{Springer}},
  SERIES = {Communications in Computer and Information Science book series (CCIS)},
  VOLUME = {628},
  PAGES = {211-217},
  YEAR = {2016},
  DOI = {10.1007/978-981-10-3433-6\_26},
  KEYWORDS = {Model checking ; State explosion problem ; Parallel exploration ; Reachability graph},
  HAL_ID = {hal-02515359},
  HAL_VERSION = {v1},
}