TY  - THES
DP  - http://www.theses.fr/2015LORR0033
TI  - Logiques de ressources dynamiques : modèles, propriétés et preuves
AU  - Courtault, Jean-René
A3  - Galmiche, Didier
PY  - 2015
N1  - Thèse de doctorat Informatique Université de Lorraine 2015
N1  - 2015LORR0033
UR  - http://www.theses.fr/2015LORR0033/document
ER  -