Quantified real constraint solving using modal intervals with applications to control

Repositori DSpace/Manakin

Text complet d'aquest document