Documents publiés en "2013"
Nombre de documents: 1
Département de génie informatique et génie logiciel
Boucheneb, H., & Barkaoui, K. (2013). Reducing interleaving semantics redundancy in reachability analysis of time petri nets. Transactions on Embedded Computing Systems, 12(1), 1-24. Lien externe