Blog de Olivier.Roux https://gdr-gpl.cnrs.fr/blog/49 fr Journée “Parametric Analyses of Concurrent Systems” le 26 mai 2016 https://gdr-gpl.cnrs.fr/node/234 Thu, 28 Apr 2016 09:53:54 +0000 Olivier.Roux 234 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/234#comments Journée “méthodes formelles et processus métier” https://gdr-gpl.cnrs.fr/node/151 Wed, 10 Sep 2014 15:32:42 +0000 Olivier.Roux 151 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/151#comments