 |
|
|
|
| Detailed view | PhD thesis |
|
|
| Université Joseph-Fourier - Grenoble I (22/03/1974), Jean Kuntzmann (Dir.) |
|
|
| Attached file list to this 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 | |
| From: Thèses Imag | |
| Submitted on: Tuesday, 11 October 2005 16:02:50 | |
| Updated on: Wednesday, 13 February 2008 12:59:19 | |
