François Hantry
Former LIRIS member since: 2012-08-31
| Quality | PhD student |
| Team(s) | BD |
| Institution | Université Claude Bernard Lyon 1 |
| Thesis | Causes based problems in Linear temporal logic and applications (click to view details) |
Laboratoire d'InfoRmatique en Image et Systèmes d'information
UMR 5205 CNRS / INSA Lyon / Université Claude Bernard Lyon 1 / Université Lumière Lyon 2 / École Centrale de Lyon