Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Software Engineering and su-to:Software engineering and se:Lecture Notes in Computer Science, and su-to:Computers and itype:EB and au:Brinksma, Ed and su-to:Computer logic and su-to:Computer Science and su-to:Computer science and su-to:Software Engineering and su-to:Theory of Computation'

	1.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings / by Brinksma, Ed [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Computer Aided Verification [electronic resource] :14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings / by Brinksma, Ed [editor.] \| Larsen, Kim Guldstrand [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)