@phdthesis{Yov93,
title = {M\'ethodes et outils pour la v\'erification symbolique de syst\`emes temporis\'es },
author = {Yovine, Sergio},
month = {may},
year = {1993},
school = {\INPG},
team = {TEMPO},
}
