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]
No references recorded for this publication.
No citations of this publication recorded.