@phdthesis{Dan0,
title = {V'erification et synth`ese des syst`emes hybrides },
author = {Dang, Thao},
month = {oct},
year = {2000},
school = {INPG},
team = {axe_Mohytos, TEMPO},
date = {octobre, 10, 2000},
}
