TY - THES DP - http://www.theses.fr/2014REN1S008 TI - Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking AU - Zhao, Yulong A3 - Cordier, Marie-Odile; Gascuel, Chantal PY - 2014 N1 - Thèse de doctorat Informatique Rennes 1 2014 N1 - 2014REN1S008 UR - http://www.theses.fr/2014REN1S008/document ER -