Laurent Vigneron. Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. (Automated Deduction applied to the Analysis and Verification of Infinite State Systems). 2011. [doi]
@book{Vigneron11,
title = {Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. (Automated Deduction applied to the Analysis and Verification of Infinite State Systems)},
author = {Laurent Vigneron},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-00642467},
researchr = {https://researchr.org/publication/Vigneron11},
cites = {0},
citedby = {0},
}