Documents publiés en "2014"
Nombre de documents: 1
Communication écrite
Boucheneb, H., Barkaoui, K., & Weslati, K. (septembre 2014). Delay-dependent partial order reduction technique for time petri nets [Communication écrite]. 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), Florence, Italy. Lien externe