2410 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 (22/03/1974), Jean Kuntzmann (Dir.) [tel-00010517 - version 1]