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