Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 5 results.

Results
	1.	No cover image available Computer-aided verification : proceedings by Clarke E M International Conference on Computer Aided Verification( 2nd : 1990 : New Brunswick ) International Conference on Computer Aided Verification 2nd New Brunswick, 1990 Series: Lecture notes in computer science, 531 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.14 In61(2). Place hold Add to cart (remove)
	2.	Computer-aided verification : proceedings by Larsen K G International Conference on Computer Aided Verification( 3rd : 1991 : Denmark ) International Conference on Computer Aided Verification 3rd , Denmark 1991 Series: Lecture notes in computer science, 575 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.14 In61(3). Place hold Add to cart (remove)
	3.	No cover image available Computer-aided verification : proceedings by Bochmann G V International Conference on Computer Aided Verification( 4th : 1992 : Montreal ) International Conference on Computer Aided Verification 4th Montreal, 1992 Series: Lecture notes in computer science, 663 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.14 In61(92). Place hold Add to cart (remove)
	4.	No cover image available Computer-aided verification : proceedings by Courcoubetis Costas International Conference on Computer Aided Verification( 5th : 1993 : Elounda, Greece ) International Conference on Computer Aided Verification 5th Elounda, Greece 1993 Series: Lecture notes in computer science, 697 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.14 In61(93). Place hold Add to cart (remove)
	5.	No cover image available Computer-aided verification : proceedings by Dill D L International Conference on Computer Aided Verification( 6th : 1994 : Standford ) International Conference on Computer Aided Verification 6th Standford, 1994 Series: Lecture notes in computer science, 818 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.14 In61(6). Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in