Skip to content
Book Glossary
Home
Practice
Lessons
About
Eugine Asarin
Books
Verification and Synthesis of Hybrid Systems
Author data:
Open Library