Documents publiés en "2008"
Nombre de documents: 1
Département de génie informatique et génie logiciel
Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . Lien externe
Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . Lien externe