@phdthesis{Rou04,
title = {Description et simulation de syst\`emes r\'eactifs non-d\'eterministes },
author = {Roux, Yvan},
year = {2004},
school = {Institut National Polytechnique de Grenoble},
team = {SYNC},
}
