@PHDTHESIS{geffr2017,
url = "http://www.theses.fr/2017BORD0848",
title = "Vers des outils efficaces pour la vérification de systèmes concurrents",
author = "Geffroy, Thomas",
year = "2017",
note = "Thèse de doctorat dirigée par Leroux, Jérôme et Sutre, Grégoire Informatique Bordeaux 2017",
note = "2017BORD0848",
url = "http://www.theses.fr/2017BORD0848/document",
}