Communication Dans Un Congrès
Année : 2011
Thomas Sturm : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03142063
Soumis le : mardi 16 février 2021-13:46:45
Dernière modification le : mercredi 24 juillet 2024-10:30:03
Citer
Thomas Sturm, Ashish Tiwari. Verification and synthesis using real quantifier elimination. Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩. ⟨hal-03142063⟩
58
Consultations
1
Téléchargements