Communication Dans Un Congrès
Année : 2011
Jérôme Feret : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00626640
Soumis le : lundi 26 septembre 2011-16:13:29
Dernière modification le : vendredi 19 avril 2024-16:18:57
Dates et versions
Identifiants
- HAL Id : inria-00626640 , version 1
- DOI : 10.1007/978-3-642-23702-7_5
Citer
Jérôme Feret. Formal Model Reduction. Static Analysis Symposium, Sep 2011, Venice, Italy. pp.6, ⟨10.1007/978-3-642-23702-7_5⟩. ⟨inria-00626640⟩
247
Consultations
0
Téléchargements