https://tel.archives-ouvertes.fr/tel-00010517
Contributeur : Thèses Imag <>
Soumis le : mardi 11 octobre 2005 - 16:02:50
Dernière modification le : lundi 21 mars 2016 - 17:49:48
Document(s) archivé(s) le : vendredi 2 avril 2010 - 22:57:47
Joseph Sifakis. Modèles temporels des systèmes logiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. <tel-00010517>
