Modèles temporels des systèmes logiques

Type de document :
Thèse
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00010517
Contributeur : Thèses Imag <>
Soumis le : mardi 11 octobre 2005 - 16:02:50
Dernière modification le : jeudi 11 janvier 2018 - 06:20:26
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〉

Partager

Métriques

Consultations de la notice

1362

Téléchargements de fichiers

123