Books by Rajeev Alur

Cover of Principles of Cyber-Physical Systems

Principles of Cyber-Physical Systems

by Rajeev Alur

2015

Cover of Computer aided verification

Computer aided verification

by Rajeev Alur, Doron A. Peled

2004

Cover of Embedded Software

Embedded Software

by Rajeev Alur

2003

Cover of Hybrid systems

Hybrid systems

by Rajeev Alur

2004

Cover of Hybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

by Rajeev Alur, George Pappas

2004

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