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

维普中文期刊产品整合服务

16篇 您的检索式：作者名="WOLPER P"

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

		题名	作者	年代	出处	被引量
	1	Memory efficient algorithms for the verification of temporal properties显示文摘	COURCOUBETIS C VARDI M WOLPER P	1992	Formal Methods in System Design1992，，1：	1
	2	An automata-based symbolic approach for verifying programs on relaxed memory models 显示文摘	Linden A Wolper P	2010	Model Checking Software2010，6349，3：	1
	3	Reasoning about infinite computations显示文摘	Vardi M Wolper P	1994	Information and Computation1994，115，1：	1
	4	Activa- tion and inhibition of Zn-A1 and Zn-A1-Mg coatings on steel by nitrate in phosphoric acid solution 显示文摘	JIANG L VOLOVITCH P WOLPERS M	2012	Corro- sion Science2012，60，7：	1
	5	Reasoning about infinte computations显示文摘	P Wolper	1994	Information and computation1994，115，1：	1
	6	Partial order methods for tem/xx, al veri- fication显示文摘	P Wolper P Godefroid	1993	Lecture Notes in Computer Science1993，715，：	1
	7	Memory effieient algorithms for verification of temporal properties 显示文摘	C Courcoubetis M Y Vardi P Wolper	1992	Formal Methods in System Design1992，1，23：	1
	8	Constraint-Generating Dependencies 显示文摘	Baudinet M J C Wolper P	1999	JCSS1999，59，1：	1
	9	Memory effi- cient algorithms for verification of temporal properties 显示文摘	COURCOUBETIS C VARDI M Y WOLPER P	1990	Formal Methods in System Design1990，5，1：	1
	10	Constraint-generating dependencies显示文摘	Baudinet M Chomicki J Wolper P	1999	J Comput Syst Sci1999，59，1：	1
	11	The relationship between immediate turnover and employee theft in the restaurant industry显示文摘	Thoms P Wolper P Scott K Jones D	2001	Journal of Business and Psychology2001，15，4：	1
	12	The tableau method for temporal logic: an overview 显示文摘	WOLPER P	1985	Logique et Analyse1985，28，110111：	1
	13	Memory-efficient Algorithms for the Verification of Temporal Properties显示文摘	Courcoubetis C Vardi M Wolper P	1992	Formal Methods in System Design1992，1，23：	1
	14	The Meaning of Formal:From Weak to Strong Formal Methods显示文摘	Wolper P	1997	Journal on Software Tools for Technology Transfer1997，1，12：	1
	15	Memory--efflcient Algorithms for the Verification of Temporal Proporties显示文摘	Courcoubetis C Vardi M Wolper P	1992	Formal Methods in system Desingm1992，1，23：	1
	16	An atomic emission spectroelectro chemical study of passive film formation and dissolution on galvanized steel treated with silicate conversion coatings显示文摘	Jiang L Wolpers M Volovitch P	2012	Surface & Coatings Technology2012，206，13：	1

返回顶部每页显示：

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

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

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