@PHDTHESIS{bensa2007,
url = "
		http://www.theses.fr/2007INPG0107",
title = "Sur l'analyse temporisée de systèmes de grande taille",
author = "Ben Salah, Ramzi",
year = "2007",
pages = "1 vol. (160 p.)",
note = "Thèse de doctorat dirigée par Maler, Oded Micro et nanoélectronique Grenoble INPG 2007",
note = "2007INPG0107",
}