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

57篇 您的检索式：作者名="Henzinger R"

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

	题名	作者	年代	出处	被引量
1	Alternating-time temporal logic显示文摘	Alur R Henzinger T A Kupferman O	2002	Journal of the ACM(JACM)2002，49，5：	1
2	The software model checker Blast显示文摘	Beyer D Henzinger T A Jhala R	2007	STTT2007，9，56：	1
3	Discrete abstractions of hybrid systems显示文摘	Alur R Henzinger T A Lafferriere G	2000	Proceedings of the IEEE2000，88，7：	1
4	The benefits of relaxing punctuality显示文摘	Alur R Feder T Henzinger T A	1996	Journal of the ACM1996，43，1：	1
5	A really temporal logic显示文摘	Alur R Henzinger T A	1994	Journal of the ACM1994，41，1：	1
6	Finding related pages in the WorldWide Web显示文摘	Dean J Henzinger M R	1999	Computer Networks1999，31，1116：	1
7	A really temporal logic显示文摘	Alur R Henzinger TA	1994	Journal of the ACM1994，41，1：	1
8	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
9	The software model checker blast显示文摘	Beyer D Henzinger A Jhala R	2007	Journal of STTT2007，9，56：	1
10	Stochastic limitaverage games are in exptime显示文摘	Chatterjee K Majumadar R Henzinge A T		0，，02：	1
11	The Algorithmic Analysis of Hybrid Systems显示文摘	ALUR R HENZINGER T	1995	Theoretical Computer Science1995，138，1：	1
12	The algorithmic analysis of hybrid systems显示文摘	Alur R Courcoubetis C Halbwachs N Henzinger TA Ho PH Nicollin X Olivero A Sifakis J Yovine S		0，，01：	1
13	Automatic Symbolic Verification of Embedded Systems显示文摘	Alur R Henzinger T A Ho Pei-Hsin	1996	IEEE Transactions on Software Engineering1996，22，3：	1
14	Lazy abstraction显示文摘	Henzinger T A Jhala R Majumdar R	2002	ACM SIGPLAN Notices2002，，：	1
15	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
16	Finding related pages in the World Wide Web 显示文摘	DEAN J HENZINGER M R	1999	Computer Networks1999，31，：	1
17	Alternating-time temporal logic 显示文摘	ALUR R HENZINGER T A KUPFERMAN O	2002	Journal of the ACM2002，49，5：	1
18	Discrete abstractions of hybrid sys- tems 显示文摘	ALUR R HENZINGER T A	2000	Proceedings of the IEEE2000，88，7：	1
19	Alternating-time temporal logic显示文摘	T A Henzinger O Kupferman	2002	Journal of the ACM2002，49，5：	1
20	Alternating-time temporal logic 显示文摘	Alur R Henzinger T A upferman O	2002	Journal of the ACM2002，49，5：	1

返回顶部每页显示：

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

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

用户提示