@PHDTHESIS{benah1998,
url = "
		http://www.theses.fr/1998LIMO0020",
title = "Vérification de programmes de commande numérique pour l'usinage de poches : une application du partitionnement du plan",
author = "Ben Ahmed Daho, Okacha",
year = "1998",
pages = "191 p",
note = "Thèse de doctorat dirigée par Berland, Richard Automatique et génie informatique Limoges 1998",
note = "1998LIMO0020",
}