@phdthesis{Oli94,
title = {Mod\'elisation et analyse de syst\`emes temporis\'es et hybrides },
author = {Olivero, Alfredo},
month = {9},
year = {1994},
school = {Institut National Polytechnique de Grenoble},
team = {TEMPO},
}
