@phdthesis{Ker94,
title = {M\'ethodes symboliques pour la v\'erification de Processus Communicants~: \'etude et mise en oeuvre },
author = {Kerbrat, Alain},
month = {nov},
year = {1994},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}
