Author:Chiheb Ameur Abid

Publications
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems Hiba Ouni, Kais Klai, Chiheb Ameur Abid and Belhassen Zouari In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017