Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari. A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. In Mohamed Mosbah, Michaël Rusinowitch, editors, SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia. Volume 45 of EPiC Series in Computing, pages 107-119, EasyChair, 2017. [doi]
@inproceedings{OuniKAZ17,
title = {A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems},
author = {Hiba Ouni and Kais Klai and Chiheb Ameur Abid and Belhassen Zouari},
year = {2017},
url = {http://www.easychair.org/publications/paper/A_Parallel_Construction_of_the_Symbolic_Observation_Graph_the_Basis_for_Efficient_Model_Checking_of_Concurrent_Systems},
researchr = {https://researchr.org/publication/OuniKAZ17},
cites = {0},
citedby = {0},
pages = {107-119},
booktitle = {SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
editor = {Mohamed Mosbah and Michaël Rusinowitch},
volume = {45},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}