Documents publiés en "2005"
Nombre de documents: 1
Département de génie informatique et génie logiciel
Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible