Modèles temporels des systèmes logiques

Type de document :
Thèse
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français


https://tel.archives-ouvertes.fr/tel-00010517
Contributeur : Thèses Imag <>
Soumis le : mardi 11 octobre 2005 - 16:02:50
Dernière modification le : lundi 21 mars 2016 - 17:49:48
Document(s) archivé(s) le : vendredi 2 avril 2010 - 22:57:47

Identifiants

  • 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>

Exporter

Partager

Métriques

Consultations de
la notice

1254

Téléchargements du document

87