Monter d'un niveau |
Hadjidj, R., & Boucheneb, H. (juin 2005). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties [Communication écrite]. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France. Lien externe
Ouardani, A., Pierre, S., & Boucheneb, H. (octobre 2005). A Secure Protocol for Mobile Agents in Hostile Environment [Communication écrite]. 2nd International Workshop Mobility Aware Technologies and Applications (MATA 2005), Montréal, Québec. Lien externe
Rakkay, H., & Boucheneb, H. (janvier 2005). Timed secure colored petri net [Communication écrite]. Conférence sur les nouvelles technologies de la répartition (NOTERE 2005). Non disponible