Archive des Bibliothèques universitaires de Nantes

Vérification et dépliages de réseaux de Petri temporels paramétrés

Par : Traonouez, Louis-Marie

Document archivé le : 05/01/2011


Fichier(s) associé(s) au document :
2009NANT2135_Traonouez_these.pdf