@phdthesis{Hel07,
title = {Validation de mod\`eles de syst\`emes sur puce en pr\'esence d'ordonnancements ind\'eterministes et de temps impr\'ecis },
author = {Helmstetter, Claude},
month = {3},
year = {2007},
school = {Institut National Polytechnique de Grenoble - INPG},
team = {SYNC},
}