s'authentifier
version française rss feed
Fiche détaillée Thèses
Université Joseph-Fourier - Grenoble I (1974-03-22), Jean Kuntzmann (Dir.)
Liste des fichiers attachés à ce document : 
PDF
tel-00010517.pdf(5 MB)
Modèles temporels des systèmes logiques
Joseph Sifakis1

.
1 :  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
Modèle tempore – système logique

temporal Models of logic systems
.

tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...