@phdthesis{Rob95,
title = {Sp\'ecification et V\'erification de Syst\`emes Hybrides },
author = {Robbana, Riadh},
month = {oct},
year = {1995},
school = {\UJF},
team = {TEMPO},
}
