@PHDTHESIS{glory1989,
url = "http://www.theses.fr/1989GRE10138",
title = "Vérification de propriétés de programmes flots de données synchrones",
author = "Glory, Anne-Cécile",
year = "1989",
pages = "1 volume (235 p.)",
note = "Thèse de doctorat dirigée par Ouabdesselam, Farid Informatique Université Joseph Fourier (Grenoble ; 1971-2015) 1989",
note = "1989GRE10138",
}