常用资源 电子图书期刊论文学位会议外文资源特色专题内部出版物 
Springer电子图书(2)CNKI学位论文(290)知网期刊论文(82)
在“SpringerLink电子期刊”中，命中：73条，耗时：0.0119855 秒

在所有数据库中总计命中：374条

2. LTL Parameter Synthesis of Parametric Timed Automata
刊名：Lecture Notes in Computer Science
出版年：2016
3. Bounded Cycle Synthesis
刊名：Lecture Notes in Computer Science
出版年：2016
4. Structural Synthesis for GXW Specifications
刊名：Lecture Notes in Computer Science
出版年：2016
5. Synthesizing Skeletons for Reactive Systems
刊名：Lecture Notes in Computer Science
出版年：2016
6. Controller Synthesis for MDPs and Frequency LTL \(_{\setminus \mathbf{G}\mathbf U}\)
刊名：Lecture Notes in Computer Science
出版年：2015
7. Synthesis Problems for One-Counter Automata
刊名：Lecture Notes in Computer Science
出版年：2015
8. Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
刊名：Lecture Notes in Computer Science
出版年：2015
10. Latticed-LTL Synthesis in the Presence of Noisy Inputs
刊名：Lecture Notes in Computer Science
出版年：2014
1
2
3
4
5
6
7
8
按检索点细分(73)
题名(13)
关键词(9)
文摘(65)
按出版年细分(73)
2016年(5)
2015年(4)
2014年(10)
2013年(13)
2012年(9)
2011年(1)
2010年(2)
2009年(5)
2008年(5)
2007年(8)
2006年(5)
2005年(3)
2002年(2)
2001年(1)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700