CHECK LIST OF INDIAN NEUROPTERIDS (INSECTA: MEGALOPTERA; RAPHIDIOPTERA; NEUROPTERA) KAILASH CHANDRA AND R.M.SHARMA Zoological Survey of India, Central Zone Regional Centre Jabalpur[removed], Madhya Pradesh

First Page		Document Content
Date: 2012-07-06 01:43:30 Chrysopinae Inocelliidae Chrysoperla Snakefly Chrysopa Chrysopidae Chrysopidia Navas Longinos Navás Neuroptera Phyla Protostome		CHECK LIST OF INDIAN NEUROPTERIDS (INSECTA: MEGALOPTERA; RAPHIDIOPTERA; NEUROPTERA) KAILASH CHANDRA AND R.M.SHARMA Zoological Survey of India, Central Zone Regional Centre Jabalpur[removed], Madhya Pradesh Add to Reading List Source URL: zsi.gov.in Download Document from Source Website File Size: 584,69 KB Share Document on Facebook

	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s DocID: 1xVMq - View Document
	IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar DocID: 1xVJ1 - View Document
	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xVqL - View Document
	A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 DocID: 1xVcw - View Document
	Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas DocID: 1xUX2 - View Document