Modèles temporels des systèmes logiques

Document type :
Theses
Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 1974. French


https://tel.archives-ouvertes.fr/tel-00010517
Contributor : Thèses Imag <>
Submitted on : Tuesday, October 11, 2005 - 4:02:50 PM
Last modification on : Wednesday, February 13, 2008 - 12:59:19 PM

Identifiers

  • HAL Id : tel-00010517, version 1

Collections

UJF | UGA

Citation

Joseph Sifakis. Modèles temporels des systèmes logiques. Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 1974. French. <tel-00010517>

Export

Share

Metrics

Consultation de
la notice

1125

Téléchargement du document

44