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

42篇 您的检索式：作者名="Manna Z"

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

	题名	作者	年代	出处	被引量
1	Synthesis of communicating processes from temporal logic specifications显示文摘	Z Manna P Worlper	1984	ACM Trans on Programming Language System1984，6，1：	1
2	The temporal logic of branching time显示文摘	M Ben-Ari Z Manna A Pnueli	1983	Acta Informatica1983，20，：	1
3	Synthesis of communicating processes from temporal logic specifications 显示文摘	Manna Z Worlper P	1984	ACM Trans on Pro gramming Language System1984，6，1：	1
4	Verifying hybrid systems显示文摘	Manna Z Pnueli A	1993	Hybrid Systems1993，736，1：	1
5	The temporal logic of branching time显示文摘	BENARI M PNUELI A MANNA Z	1983	Acta Informatica1983，20，3：	1
6	Size minimization of disc cams with roller-followers under pressure angle constraint显示文摘	JI Z MANNA Y A	2008	Mechanical Engineering Science IMechE2008，222，12：	1
7	Phenyl arsine oxide blocks interleukin-1β-induced activation of the nuclear transcription factor NF-κB,inhibits proliferation,and induces apoptosis of acute myelogenous leukemia cells显示文摘	Estrov Z Manna S K Harris D	1999	Blood1999，94，8：	1
8	Completing the temporal picture显示文摘	MANNA Z PNUELI A	1991	Theoretical Computer Science1991，83，1：	1
9	Size minimization of disc cams with roll-er-followers under pressure angle constraint 显示文摘	Ji Z Manna Y A	2008	Mechani-cal Engineering Science IMechE2008，222，12：	1
10	Fundamentals of Deductive Program Synthesis显示文摘	Manna Z Waldinger R	1992	IEEE Transactions on Software Engineering1992，18，8：	1
11	The Temporal Logic of Branching Time显示文摘	Ben-Ari M Manna Z Pnueli A	1983	Acta Informatica1983，20，1：	1
12	Size minimization of disc cams with roller-followers under pressure angle constraint显示文摘	JI Z MANNA Y A	2008	Proceedings of the Institution of Mechanical Engineers Part C:Journal of Mechanical Engineering Science2008，222，12：	1
13	Temporal proof methodologies for timed transition systems显示文摘	Henzinger T A Manna Z Pnueli A	1994	Information and Computation1994，112，2：	1
14	Models for reactivity 显示文摘	MANNA Z PNUELI A	1993	Acta Informatica1993，30，7：	1
15	The Temporal Logic of Branching Time显示文摘	BEN-ARI M PNUELI A MANNA Z	1983	Acta Informatica1983，20，3：	1
16	Detection of ultrasonic tones and simulated dolphin echolocation clicks by a teleost fish,the American shad (Alosasapidissima)显示文摘	Manna D A Lu Z M Hastings M C		0，，1：	1
17	Property-directed Incremental Invari- ant Generation显示文摘	Bradley A R Manna Z	2008	Formal Aspects of Computing2008，20，4：	1
18	Size Minimization of Disc Cams with Roller-followers under Pressure Angle Con- straint 显示文摘	Ji Z Manna Y A	2008	Mechanical Engineering Science IMeehE2008，222，12：	1
19	The temporal logic of branching time显示文摘	Ben-Ari M Manna Z Pnueli A	1983	Acta Informatica1983，20，1：	1
20	Automatic generation of invariants and intermediate assertions显示文摘	Bjrner N Browne A Manna Z	1997	Theoretical Computer Science1997，173，1：	1

返回顶部每页显示：

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

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

用户提示