login
english version rss feed
Detailed view PhD thesis
Université Joseph-Fourier - Grenoble I (1974-03-22), Jean Kuntzmann (Dir.)
Attached file list to this 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
.

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...