@PHDTHESIS{bempe2015, url = "http://www.theses.fr/2015GREAM007", title = "Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre", author = "Bempelis, Evangelos", year = "2015", note = "Thèse de doctorat dirigée par Girault, Alain et Fradet, Pascal Informatique Université Grenoble Alpes (ComUE) 2015", note = "2015GREAM007", url = "http://www.theses.fr/2015GREAM007/document", }