Documents dont l'auteur est "Hadjidj, Rachid"

Pour citer ou exporter
Nombre de documents: 1

Hadjidj, R., & Boucheneb, H. (2009). On-the-fly T C T L model checking for time Petri nets. Theoretical Computer Science, 410(42), 4241-4261. Lien externe

Liste produite: Thu Oct 15 10:28:45 2026 EDT.