 | Up a level |
Hadjidj, R., & Boucheneb, H. (2005, June). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties [Paper]. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France. External link
Ouardani, A., Pierre, S., & Boucheneb, H. (2005, October). A Secure Protocol for Mobile Agents in Hostile Environment [Paper]. 2nd International Workshop Mobility Aware Technologies and Applications (MATA 2005), Montréal, Québec. External link
Rakkay, H., & Boucheneb, H. (2005, January). Timed secure colored petri net [Paper]. Conférence sur les nouvelles technologies de la répartition (NOTERE 2005). Unavailable
