IMSc Library catalog › Results of search for 'su-br:au:"Alur, Rajeev"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Hybrid Systems III [electronic resource] : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag. by Alur, Rajeev [editor.] \| Henzinger, Thomas A [editor.] \| Sontag, Eduardo D [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1066Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger. by Alur, Rajeev [editor.] \| Henzinger, Thomas A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags