Cédric Eichler. Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire. (Formal modeling of autonomous dynamical systems: graph rewriting and grammar). PhD thesis, Paul Sabatier University, Toulouse, France, 2015. [doi]
Abstract is missing.