维普期刊资源整合服务平台（V6.5）

30篇 您的检索式：作者名="JHALA R"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	The software model checker Blast显示文摘	Beyer D Henzinger T A Jhala R	2007	STTT2007，9，56：	1
2	Study of bacterial diversity in poultry gut using denaturing gradient gel electrophoresis 显示文摘	Ahir V B Singh K M Tripathi A K Mathakiya R A Jakhesara S J Koringa P G Rank D N Jhala M K Joshi C G	2012	Iranian Journal of Applied Animal Science2012，2，3：	1
3	The software model check- er BLAST显示文摘	Beyer D Henzinger T A Jhala R	2007	International Journal on Software Tools for Technolo- gy Transfer2007，，9：	1
4	The software model checker blast显示文摘	Beyer D Henzinger A Jhala R	2007	Journal of STTT2007，9，56：	1
5	Software model checking显示文摘	Jhala R Majumdar R	2009	ACM Com- puting Surveys(CSUR)2009，41，4：	1
6	Microgravity alters cancer growth and progression显示文摘	Jhala D V Kale R K Singh R P	2014	Curr Cancer Drug Targets2014，14，4：	1
7	Textural and rheological properties of processed cheese 显示文摘	Joshi N S Jhala R P Muthukumarappan K	2004	International Journal of Food Properties2004，，7：	1
8	Lazy abstraction显示文摘	Henzinger T A Jhala R Majumdar R	2002	ACM SIGPLAN Notices2002，，：	1
9	The software mod- el checker Blast 显示文摘	BEYER D HENZINGER T A JHALA R	2007	International Journal on Software Tools for Technology Transfer2007，9，56：	1
10	PDX -1 haploinsufficiency limits the compensatory islet hy- perplasia that occurs in response to insulin resistance 显示文摘	KULKARNI R N JHALA U S WINNAY J N	2004	J Clin Invest2004，14，6：	1
11	The software mod- el checker blast: applications to software engineering显示文摘	BEYER D HENZ1NGER T A JHALA R	2007	Interna- tional Journal on Software Tools for Technology Transfer2007，9，2：	1
12	Software Model Checking显示文摘	Jhala R Majumdar R	2009	ACM Computing Surveys2009，41，4：	1
13	The software model checker Blast显示文摘	Beyer D Henzinger T A Jhala R	2007	International Journal on Software Tools for Technology Transfer2007，9，56：	1
14	Lazy abstraction显示文摘	Henzinger TA Jhala R Majumdar R	2002	ACM SIGPLAN Notices2002，37，1：	1
15	Bio -efficacy of buprofezin against mealy bug,Phenacoccus solenopsis Tinsley(Hemiptera: Pseudococcidae)an invasive pest of cotton显示文摘	Patel M G Jhala R C Yaghela N M	2010	Karnataka Journal of Agricultural Sciences2010，23，1：	1
16	The softwaremodel checker Blast: Applications to software engineering显示文摘	Beyer D Henzinger T A Jhala R	2007	International Journal on Software Tools for TechnologyTransfer2007，9，56：	1
17	Evaluating capture-recapture popula- tion and density estimation of tigers in a population with known parameters 显示文摘	Sharma R K Jhala Y Qureshi Q	2010	Animal Conservation2010，13，：	1
18	The software model checker Blast 显示文摘	Beyer D Henzinger T A Jhala R	2007	International Journal on Soft- ware Tools for Technology Transfer2007，9，56：	1
19	Phenacoccus solenopsis Tinsley ( Hemiptera: Pseudococcidae), the mealy bug species recorded first time on cotton and its alternate host plants in Gujarat, India 显示文摘	JHALA R C Bharpoda T M Patel M G	2008	Uttar Pradesh Journal of Zoology2008，28，3：	1
20	Textural and rhcological properties of processed cheese 显示文摘	JOSHI N S JHALA R P MUTHUKUMARAPPAN K	2004	Int J Food Prop2004，7，3：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示