@PHDTHESIS{vince2003,
url = "
		http://www.theses.fr/2003BOR12761",
title = "Conception et réalisation d'un vérificateur de modèles AltaRica",
author = "Vincent, Aymeric",
year = "2003",
pages = "137  p.",
note = "Thèse de doctorat dirigée par Arnold, André Informatique et mathématiques Bordeaux 1 2003",
note = "2003BOR12761",
}