Modèles temporels des systèmes logiques

Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00010517
Contributor : Thèses Imag <>
Submitted on : Tuesday, October 11, 2005 - 4:02:50 PM
Last modification on : Thursday, January 11, 2018 - 6:20:26 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. ⟨tel-00010517⟩

Share

Metrics

Record views

1473

Files downloads

169