Rajeev Alur

Rajeev Alur’s Followers

None yet.

Rajeev Alur

Combine Editions
Rajeev Alur’s books

Average rating: 4.58 · 12 ratings · 2 reviews · 14 distinct works

	Principles of Cyber-Physical Systems 4.58 avg rating — 12 ratings — published 2015 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066) 0.00 avg rating — 0 ratings — published 1996 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114) 0.00 avg rating — 0 ratings — published 2004 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science, 2855) 0.00 avg rating — 0 ratings — published 2003 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science, 2993) by Rajeev Alur (Editor), George Pappas (Editor) 0.00 avg rating — 0 ratings — published 2004	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, USA, July 13-17, 2004, Proceedings 0.00 avg rating — 0 ratings — published 2005	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Embedded Software: Third International Conference, Emsoft 2003, Philadelphia, Pa, USA, October 13-15, 2003, Proceedings 0.00 avg rating — 0 ratings — published 2006	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Hybrid Systems III: Verification and Control by Rajeev Alur (Editor), Thomas A. Henzinger (Editor), Eduardo D. Sontag (Editor) 0.00 avg rating — 0 ratings — published 2014	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings 0.00 avg rating — 0 ratings — published 2009	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Real-Time Logics: Complexity and Expressiveness 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Rajeev Alur…

Is this you? Let us know. If not, help out and invite Rajeev to Goodreads.