Monter d'un niveau |
Heidari, P., & Boucheneb, H. (juin 2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets [Communication écrite]. 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal. Lien externe