@phdthesis{Loi94,
title = {V\'erification symbolique de programmes r\'eactifs \`a l'aide d'abstractions },
author = {Loiseaux, Claire},
month = {feb},
year = {1994},
school = {Universit\'e Joseph Fourier, Grenoble},
team = {DCS},
}