@phdthesis{Hab98,
title = {Sur la V\'erification de Syst\`emes Infinis },
author = {Habermehl, Peter},
month = {jan},
year = {1998},
school = {Univ\'ersit\'e Joseph Fourier - Grenoble I},
team = {DCS},
}
