@phdthesis{Ben07,
title = {On Timing Analysis of Large Systems },
author = {Ben Salah, Ramzi},
month = {October},
year = {2007},
school = {INP Grenoble},
team = {TEMPO, DCS},
}
@phdthesis{Ben07,
title = {On Timing Analysis of Large Systems },
author = {Ben Salah, Ramzi},
month = {October},
year = {2007},
school = {INP Grenoble},
team = {TEMPO, DCS},
}