Tayssir Touili
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 2003
- Country
- France
- MGP identifier
- 307757
Dissertation: Analyse symbolique de systèmes infinis basée sur les automates: Application à la vérification de systèmes paramétrés et dynamiques
Advisor 1
- Ahmed BouajjaniUniversité Joseph Fourier Grenoble I · 1989
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Mohamed Faouzi Atig | Université Paris Diderot - Paris 7 | 2010 | 0 |