@phdthesis{Ann01,
title = {V\'erification d'automates \'etendus : algorithmes d'analyse symbolique et mise en \oe uvre },
author = {Annichini-Collomb, Aurore},
month = {12},
year = {2001},
school = {Universit\'e Joseph Fourier, Grenoble},
team = {DCS},
}