 |
|
|
|
| Fiche détaillée | Thèses |
|
|
| Université Joseph-Fourier - Grenoble I (22/03/1974), Jean Kuntzmann (Dir.) |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| 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 |
| . |
| tel-00010517, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00010517 | |
| oai:tel.archives-ouvertes.fr:tel-00010517 | |
| Contributeur : Thèses Imag | |
| Soumis le : Mardi 11 Octobre 2005, 16:02:50 | |
| Dernière modification le : Mercredi 13 Février 2008, 12:59:19 | |
