Damien Rouhling. Formalisation Tools for Classical Analysis - A Case Study in Control Theory. (Outils pour la Formalisation en Analyse Classique - Une Étude de Cas en Théorie du Contrôle). PhD thesis, University of Côte d'Azur, Nice, France, 2019. [doi]
@phdthesis{hal-12751,
title = {Formalisation Tools for Classical Analysis - A Case Study in Control Theory. (Outils pour la Formalisation en Analyse Classique - Une Étude de Cas en Théorie du Contrôle)},
author = {Damien Rouhling},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02333396},
researchr = {https://researchr.org/publication/hal-12751},
cites = {0},
citedby = {0},
school = {University of Côte d'Azur, Nice, France},
}