@PHDTHESIS{chucr2012,
url = "http://www.theses.fr/2012BOR14641",
title = "Exploiting model structure in CEGAR verification method",
author = "Chucri, Farès",
year = "2012",
note = "Thèse de doctorat dirigée par Walukiewicz, IgorGriffault, Alain et Sutre, Grégoire Informatique Bordeaux 1 2012",
note = "2012BOR14641",
url = "http://www.theses.fr/2012BOR14641/document",
}