![]() | Monter d'un niveau |
Boucheneb, H., & Barkaoui, K. (2015). Stubborn sets for time petri nets. ACM Transactions on Embedded Computing Systems, 14(1), 1-25. Lien externe
Boucheneb, H., & Barkaoui, K. (juin 2015). Strongly generalized soundness of Time Workflow Nets [Communication écrite]. 15th International Conference on Application of Concurrency to System Design (ACSD 2015), Brussels, Belgium. Lien externe