@phdthesis{Mat98,
title = {V\'erification des propri\'et\'es temporelles des programmes parall\`eles },
author = {Mateescu, Radu},
year = {1998},
address = {Grenoble, France},
school = {Institut National Polytechnique de Grenoble},
team = {DCS},
}
