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

44篇 您的检索式：作者名="Grumberg"

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

	题名	作者	年代	出处	被引量
1	Model checking and modular verification显示文摘	GRUMBERG O LONG D	1994	ACM Trans on Programming Languages and Systems1994，16，3：	1
2	Counterexample-guided abstraction refinement for symbolic model checking 显示文摘	Clarke E Grumberg O Jha S	2003	Journal of the ACM (JACM)2003，50，5：	1
3	Model checking and abstraction显示文摘	Clarke E M Grumberg O Long D E	1993	ACM Transaction on Programming Languages and Systems1993，16，5：	1
4	Counterexample-Guided abstraction refinement for symbolic model cheeking显示文摘	Clarke E Grumberg O Jha S	2003	Journal of the ACM2003，50，5：	1
5	Model checking and modular verification显示文摘	GRUMBERG O LONG D E	1994	ACM Transitions on Programming Languages and Systems1994，16，3：	1
6	2-Valued and 3-Valued abstraction refinement in model checking 显示文摘	Grumberg O	2010	Logics and Languages for Reliability and Security2010，25，1：	1
7	Abstract interpretation of reactive systems 显示文摘	Dams D Gerth R Grumberg O	1997	ACM Transactions on Programming Languages and Systems1997，19，2：	1
8	Model checking and abstraction显示文摘	Clarke E M Grumberg O Long D E	1994	ACM Transactions on Programming Languages and System1994，16，5：	1
9	Model checking and abstraction 显示文摘	CLARKE E M GRUMBERG O LONG D E	1994	ACM Transactions on Programming Languages and Systems1994，16，5：	1
10	Counterexample-guided abstraction refinement for symbolic model checking显示文摘	Clarke E Grumberg O Somesh Jha	2003	Journal of the ACM2003，50，5：	1
11	Model Checking and Modular Verification显示文摘	Grumberg O Long D E	1994	ACM Trans on Programming Languages and Systems1994，16，8：	1
12	Abstract interpretation of reactive systems 显示文摘	Dams D Gerth R Grumberg O		ACM Trans of Program Language System0，19，2：	1
13	Static analysis for state-space reductions preserving temporal logics显示文摘	Yorav K Grumberg O	2004	Formal Methods in System Design2004，25，1：	1
14	3-valued abstraction: More precision at less cost 显示文摘	Shoham S Grumberg O	2008	Information and Computation2008，206，11：	1
15	Model Checking and Abstraction显示文摘	Clarke E M Grumberg O Long D E	2000	ACM Transaction on Programming Languages and System2000，16，5：	1
16	Abstract Inter- pretation of Reactive Systems 显示文摘	DAMS D GRUMBERG O GERTH R	1997	ACM Transactions on Programming Languages & Systems1997，19，2：	1
17	Model checking and ab- saacfion显示文摘	E M Clarke O Grumberg D E Long	1992	ACM Transaclions on Programming Languages and Systems1992，16，5：	1
18	Model checking and abstraction 显示文摘	Clarke Grumberg	1994	ACM Transactions on Programming Languages and System( TOPLAS)1994，16，5：	1
19	3-Valued Abstraction for (Bounded) Model Checking显示文摘	O Grumberg	2009	Lectue Notes in Computer Science2009，5799，：	1
20	Counterexample guided abstraction refinement for symbolic model checking 显示文摘	Clarke Grumberg	2003	Journal of the ACM2003，50，5：	1

返回顶部每页显示：

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

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

用户提示