@phdthesis{Boz99,
title = {V\'erification symbolique pour les protocoles de communication },
author = {Bozga, Marius},
month = {December},
year = {1999},
address = {Grenoble, France},
type = {Th\`ese de doctorat},
school = {Universit\'e Joseph Fourier, Grenoble},
team = {DCS},
}
