@PHDTHESIS{taisl1987,
url = "
		http://www.theses.fr/1987MON20013",
title = "Étude et réalisation d'un outil de conception de systèmes logiques complexes",
author = "Tais-Lailhugue, Didier",
year = "1987",
pages = "155 f",
note = "Thèse de doctorat dirigée par Durante, Christian Sciences Montpellier 2 1987",
note = "1987MON20013",
}