Thèse
Année : 1974
Thèses Imag : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00010517
Soumis le : mardi 11 octobre 2005-16:02:50
Dernière modification le : jeudi 4 avril 2024-18:27:21
Archivage à long terme le : vendredi 2 avril 2010-22:57:47
Dates et versions
Identifiants
- HAL Id : tel-00010517 , version 1
Citer
Joseph Sifakis. Modèles temporels des systèmes logiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. ⟨NNT : ⟩. ⟨tel-00010517⟩
546
Consultations
146
Téléchargements