Verification and Synthesis of Hybrid Systems
Verification and Synthesis of Hybrid Systems
Thao Dang
,
Oded Maler
,
Eugine Asarin
Details
OL Work ID
OL38018991W
Subjects
Hybrid computers
Find this book
Open Library