@phdthesis{Mou92,
title = {M\'ethodes de V\'erification de Sp\'ecifications Comportementales~: \'etude et mise en oeuvre },
author = {Mounier, Laurent},
month = {1},
year = {1992},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {DCS,PACSS},
}