Your search returned 3 results.

Results
	1.	Computer aided verification - Proceedings ed. by Rajeev Alur, Thomas A. Henzinger by 8th International Conference held at New Brunswick, New Jersey, July 31-Aug 3, 1996 Alur, Rajeev., ed Henzinger, Thomas A., ed Series: Lecture Notes in computer science ; V.1102 Material type: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.6 N964.
	2.	Principles of cyber-physical systems by Rajeev Alur by Alur, Rajeev Material type: Book Publication details: Cambridge MIT Press 2015 Availability: Items available for loan: Computer Science and Automation (1)Call number: 006.22 P15 (CSA). Place hold
	3.	Verification and control of hybrid systems by Tabuada, Paulo Alur, Rajeev (fore.) Publication details: New York: Springer Science + Business media, 2009 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519 TAB. Not available: JRD Tata Memorial Library: Checked out (1). Place hold

Refine your search