Theses
Year : 1974
Thèses Imag : Connect in order to contact the contributor
https://theses.hal.science/tel-00010517
Submitted on : Tuesday, October 11, 2005-4:02:50 PM
Last modification on : Thursday, April 4, 2024-6:27:21 PM
Long-term archiving on: Friday, April 2, 2010-10:57:47 PM
Dates and versions
Identifiers
- HAL Id : tel-00010517 , version 1
Cite
Joseph Sifakis. Modèles temporels des systèmes logiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. ⟨NNT : ⟩. ⟨tel-00010517⟩
545
View
145
Download