STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Rajeev Alur | lit.salon
Rajeev Alur
No bio available.
Add one in Open Library.
Books by Rajeev Alur (50 max)
+ shelf
+ list
Principles of Cyber-Physical Systems
2015
Rajeev Alur
+ shelf
+ list
Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
2003
Rajeev Alur
+ shelf
+ list
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)
2004
Rajeev Alur, Doron A. Peled
+ shelf
+ list
Hybrid Systems : Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
2004
Rajeev Alur, George Pappas
+ shelf
+ list
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science)
2004
Rajeev Alur
