@phdthesis{Ghi02,
title = {G\'en\'eration automatique de tests de conformit\'e pour les protocoles de t\'el\'ecommunications },
author = {Ghirvu, Lucian},
year = {2002},
school = {{Universit\'e Joseph Fourier, Grenoble, France},Grenoble},
team = {DCS},
}