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

150篇 您的检索式：作者名="R Alur"

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

	题名	作者	年代	出处	被引量
1	Alternating-time temporal logic显示文摘	Alur R Henzinger T A Kupferman O	2002	Journal of the ACM(JACM)2002，49，5：	1
2	Model-checking in dense real- time显示文摘	Alur R Courcoubetis C Dill D L	1993	lnformation and Computation1993，104，1：	1
3	A theory of timed automata显示文摘	ALUR R DILL D L	1994	Theo- retical Computer Science1994，126，2：	1
4	A theory of timed automata显示文摘	Alur R Dill D L	1994	Theoretical Computer Science1994，126，2：	1
5	A theory of timed automata显示文摘	Alur R Dill D L	1994	Theoretical Computer Science1994，126，2：	1
6	A theory of timed automata显示文摘	Alur R Dill D L	1994	Theoretical Computer Science1994，126，2：	1
7	A theory of timed automata显示文摘	Alur R Dill D	1994	Journal of Theoretical Computer Science1994，126，2：	1
8	A theory of timed automata显示文摘	Alur R Dill DL	1994	Theoretical Computer Science1994，126，2：	1
9	Discrete abstractions of hybrid systems显示文摘	Alur R Henzinger T A Lafferriere G	2000	Proceedings of the IEEE2000，88，7：	1
10	The benefits of relaxing punctuality显示文摘	Alur R Feder T Henzinger T A	1996	Journal of the ACM1996，43，1：	1
11	A Theory of Timed Automata显示文摘	R Alur D L Dill	1994	Theoretical Computer Science1994，126，2：	1
12	Software model checking using languages of nested trees显示文摘	Alur R Chaudhuri S Madhusudan P	2011	ACM Trans- actions on Programming Languages and Systems2011，33，5：	1
13	A really temporal logic显示文摘	Alur R Henzinger T A	1994	Journal of the ACM1994，41，1：	1
14	A theory of tiraed automata 显示文摘	Alur R Dill D	1994	Theoretical Computer Science1994，126，2：	1
15	A theory of timed automata显示文摘	Alur R Dill D L	1994	Theoretical Computer Science1994，126，2：	1
16	A theory of timed automata显示文摘	Alur R Dill D L	1994	Theoretical Computer Science1994，126，：	1
17	A Theory of Timed Automata显示文摘	Alur R Dill D	1994	Journal of Theoretical Computer Science1994，126，2：	1
18	A theory of timed automata显示文摘	ALUR R DILL D L	1994	Theoreficai Computer Science1994，126，2：	1
19	Form',d methods: State of the art and future directions 显示文摘	CLARKE E M WING J M ALUR R	1996	ACM Computing Surveys1996，28，4：	1
20	A Theory of Timed Automata显示文摘	Alur R Dill D	1994	Theoretical Computer Science1994，126，2：	1

返回顶部每页显示：

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

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

用户提示