Documents publiés en "2004"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

Département de génie informatique et génie logiciel

Boucheneb, H., & Hadjidj, R. (septembre 2004). Towards optimal CTL model checking of time petri nets [Communication écrite]. IFAC Workshop on discrete Event Systems, Reims, France. Lien externe

Liste produite: Tue Oct 20 09:11:14 2026 EDT.