Skip to Main content Skip to Navigation
New interface
Theses

Modèles temporels des systèmes logiques

Complete list of metadata

https://theses.hal.science/tel-00010517
Contributor : Thèses Imag Connect in order to contact the contributor
Submitted on : Tuesday, October 11, 2005 - 4:02:50 PM
Last modification on : Friday, March 25, 2022 - 11:09:42 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:57:47 PM

Identifiers

  • HAL Id : tel-00010517, version 1

Collections

Citation

Joseph Sifakis. Modèles temporels des systèmes logiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. ⟨NNT : ⟩. ⟨tel-00010517⟩

Share

Metrics

Record views

492

Files downloads

127