Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry. Vérification formelle d un algorithme générique et hiérarchique d exclusion mutuelle. Technique et Science Informatiques, 28(9):1085-1105, 2009. [doi]
@article{SopenaBL09,
title = {Vérification formelle d un algorithme générique et hiérarchique d exclusion mutuelle},
author = {Julien Sopena and Souheib Baarir and Fabrice Legond-Aubry},
year = {2009},
url = {http://tsi.revuesonline.com/article.jsp?articleId=14021},
researchr = {https://researchr.org/publication/SopenaBL09},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {28},
number = {9},
pages = {1085-1105},
}