Bibtex de la publication

@TechReport{ Ja2018.1,
author = {Jahier, Erwan and Halbwachs, Nicolas and Maïza, Claire and Raymond, Pascal and Sun, Wei-Tsun and Cassé, Hugues},
title = "{Assessing Software Abstractions in WCET Analysis of Reactive Programs}",
year = {2018},
month = {février},
type = {Rapport de recherche},
number = {TR-2018-2},
institution = {Verimag},
address = {Univ. Grenoble Alpes/CNRS, VERIMAG F-38000 Grenoble, France},
language = {anglais},
URL = {http://www-verimag.imag.fr/TR/TR-2018-2.pdf}
}