@phdthesis{Agu03,
title = {Contribution \`a la validation de syst\`emes de processus communiquant par files d'attente~: analyse statique pour la r\'eduction de files },
author = {Aguilar, Manuel},
month = {dec},
year = {2003},
school = {Institut Polytechnique de Grenoble},
team = {DCS},
}
