@phdthesis{Les97,
title = {V\'erification et synth\`ese de syst\`emes r\'eactifs },
author = {Lesens, David},
month = {sep},
year = {1997},
school = {Institut National Polytechnique de Grenoble},
team = {SYNC},
}
