@PHDTHESIS{aljar2017,
url = "http://www.theses.fr/2017REN1S033",
title = "Accelerated simulation of hybrid systems : method combining static analysis and run-time execution analysis",
author = "Aljarbouh, Ayman",
year = "2017",
note = "Thèse de doctorat dirigée par Caillaud, Benoît Informatique Rennes 1 2017",
note = "2017REN1S033",
url = "http://www.theses.fr/2017REN1S033/document",
}