@PHDTHESIS{Bart2017,
url = "http://www.theses.fr/2017IMTA0031",
title = "Constraint modelling and solving of some verification problems",
author = "Bart, Anicet",
year = "2017",
note = "Thèse de doctorat dirigée par Monfroy, Éric Informatique et applications Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire 2017",
note = "2017IMTA0031",
url = "http://www.theses.fr/2017IMTA0031/document",
}