Romain Testylier. Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires. (Techniques for the formal analysis of non-linear dynamical systems). PhD thesis, Grenoble Alpes University, France, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.