Home › Authors › Eugine Asarin 👤 Eugine Asarin 1 book Books by Eugine Asarin Verification and Synthesis of Verification and Synthesis of Hybrid Systems 2006