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
Joseph Sifakis. Modèles temporels des systèmes logiques. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. 〈tel-00010517〉
