2384 articles – 24 references  [version française]
.:. Browse > List by defence year > 1974 .:.
1 document

fulltext access Modèles temporels des systèmes logiques
Sifakis J.
Université Joseph-Fourier - Grenoble I (1974-03-22), Jean Kuntzmann (Dir.) [tel-00010517 - version 1]