Books by Eugine Asarin

Cover of Verification and Synthesis of Hybrid Systems

Verification and Synthesis of Hybrid Systems

by Eugine Asarin, Thao Dang, Oded Maler

2006

Can't find the book you're looking for? Let us know — it helps us improve.