克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼;大卫·帕克;拉胡尔·瓦什内亚 在概率环境中合成高效系统。 (英语) Zbl 1344.68171号 学报信息。 53,第4号,425-457(2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}等人,《信息学报》53,第4期,425--457(2016年;Zbl 1344.68171) 全文: 内政部 链接
杰罗姆·勒鲁;菲利普·吕默;Subotić,帕夫勒 使用特定领域的抽象指导Craig插值。 (英语) Zbl 1344.68139号 学报信息。 53,第4期,387-424(2016).MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人,《信息学报》53,第4期,387--424(2016;Zbl 1344.68139) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68136号 学报信息。 53,第4期,357-385(2016).MSC公司:60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《情报法》第53卷,第4期,357-385页(2016年;兹bl 1344.68136) 全文: 内政部 链接
希拉·佩勒;沙龙·肖姆;埃兰·雅哈夫;杨红seok 表示大代码的符号自动机。 (英语) Zbl 1344.68128号 学报信息。 53,第4号,327-356(2016).MSC公司:65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Peleg}等人,《学报》第53期,第4期,第327--356页(2016年;Zbl 1344.68128) 全文: 内政部 链接
伯恩德·芬克贝纳(编辑);塞萨尔·桑切斯(编辑) 富模型特刊,EU-COST行动IC0901富模型工具包。 (英语) Zbl 1339.00028号 学报信息。 53,第4号,325-326(2016).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}(编辑)和\textit{C.Sanchez}(编),《学报》第53期,第4期,第325--326页(2016;Zbl 1339.00028) 全文: 内政部