×

找到59个文档（结果1-59）

最新的 引文 关联
张楠;袁小帅;段振华

命题投影时态逻辑规范挖掘。 （英语） Zbl 07666356号

Wu，Weili（编辑）等，组合优化与应用。第14届国际会议，COCOA 2020，美国德克萨斯州达拉斯，2020年12月11-13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12577, 289-303 (2020).
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。12577，289--303（2020；Zbl 07666356）
全文： 内政部
张楠;段振华;田聪;杜洪伟

一种验证程序上下文无关属性的新方法。 （英语） Zbl 1522.68353号

唐绍杰（编辑）等，《信息和管理中的算法方面》。2018年12月3日至4日在美国德克萨斯州达拉斯举行的2018年AAIM第12届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11343, 74-87 (2018).
MSC公司：60年第68季度 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。11343、74-87（2018年；Zbl 1522.68353）
全文： 内政部
张晓明;段振华;田聪

PPTL_SPIN：基于SPIN的命题投影时态逻辑模型检查器。 （英语） Zbl 1461.68124号

刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9559, 195-205 (2016).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Zhang}等人，Lect。注释计算。科学。9559195-205（2016；Zbl 1461.68124）
全文： 内政部
田聪;宋军;段振华;段，赵

LtlNfBa公司：使LTL翻译更实用。 （英语） Zbl 1461.68121号

刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9559, 179-194 (2016).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}等人，Lect。注释计算。科学。9559179--194（2016；Zbl 1461.68121）
全文： 内政部
卢、徐;段振华;田聪

使用统一模型检查来验证堆。 （英语） Zbl 1483.68199号

Chan，T-H.Hubert（编辑）等人，《组合优化与应用》。第十届国际会议，2016年COCOA，中国香港，2016年12月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10043, 735-743 (2016).
MSC公司：60年第68季度 03B44号 03B70号 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{X.Lu}等人，Lect。注释计算。科学。10043、735--743（2016；Zbl 1483.68199）
全文： 内政部
刘、姚;段振华;田聪;崔斌

有限迹上线性时间μ演算的可满足性。 （英语） Zbl 1476.68178号

Dinh，Thang N.（编辑）等，《计算与组合学》。2016年8月2-4日，第22届国际会议，2016年COCOON，越南胡志明市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9797, 611-622 (2016).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}等人，Lect。注释计算。科学。9797611-622（2016年；兹bl 1476.68178）
全文： 内政部
舒新峰;段振华

使用信号量扩展MSVL。 （英语） Zbl 1476.68183号

Dinh，Thang N.（编辑）等，《计算与组合学》。2016年8月2-4日，第22届国际会议，2016年COCOON，越南胡志明市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9797, 599-610 (2016).
MSC公司：68问题85 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Shu}和\textit{Z.Duan}，Lect。注释计算。科学。9797599--610（2016年；Zbl 1476.68183）
全文： 内政部
王海阳;段振华;田聪

交替投影时序逻辑的符号模型检查。 （英语） Zbl 1473.68108号

Lu，Zaixin（编辑）等，组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9486, 481-495 (2015).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wang}等人，Lect。注释计算。科学。9486481——495（2015年；兹bl 1473.68108）
全文： 内政部
段振华;卜康康;田聪;张楠

基于动态符号执行的MSVL程序模型检查。 （英语） Zbl 1465.68176号

徐大川（主编）等，《计算与组合学》。第21届国际会议，COCOON 2015，中国北京，2015年8月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9198, 521-533 (2015).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。9198、521--533（2015；Zbl 1465.68176）
全文： 内政部
于斌;段振华;田聪

红绿灯控制系统的有界模型检验。 （英语） Zbl 1351.68169号

薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，63-74，仅电子版（2014）。
MSC公司：60年第68季度 03B44号 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Yu}等人，《电子》。注释Theor。计算。科学。309、63-74（2014年；Zbl 1351.68169）
全文： 内政部
段振华;田聪;张楠

命题投影时序逻辑的范式表达。 （英语） Zbl 1423.68278号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8591, 84-93 (2014).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。8591，84-93（2014；Zbl 1423.68278）
全文： 内政部
张楠;段振华;田聪

圆柱计算模型的公理化。 （英语） Zbl 1332.68144号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08782-5/pbk）。计算机科学课堂讲稿8591，71-83（2014）。
MSC公司：60年第68季度 03B44号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。8591，71-83（2014；Zbl 1332.68144）
全文： 内政部
汉娜·克劳代尔;马西耶·库特尼;段振华

盒代数的区间时序逻辑语义。 （英语） 兹比尔1407.68334

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8370, 441-452 (2014).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Klaudel}等人，Lect。注释计算。科学。8370、441--452（2014年；Zbl 1407.68334）
全文： 内政部 链接
段振华;田聪

模型检查。 （英语） Zbl 1290.68087号

王家村（编辑），基于有限状态的模型和应用手册。佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-4618-6/hbk；978-1-439 8-4619-3/电子书）。《离散数学及其应用》，337-369（2013）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}和\textit{C.Tian}，in：基于有限状态的模型和应用手册。佛罗里达州博卡拉顿：CRC出版社。337--369（2013；Zbl 1290.68087）
罗玲;段振华

从p-\（\pi\）到MSVL的转换。 （英语） Zbl 1405.68217号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。计算机科学课堂讲稿8049267-281（2013）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛L.Luo｝和\textit｛Z.Duan｝，Lect。注释计算。科学。8049，267--281（2013；Zbl 1405.68217）
全文： 内政部
段振华;马，钱;田聪;张楠

PPTL中的一些定点问题。 （英语） Zbl 1391.03018号

Liu，Zhiming（编辑）等人，《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051151-165（2013）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。8051，151--165（2013；Zbl 1391.03018）
全文： 内政部
段振华;田聪;杨梦飞;他，贾

命题投影时间逻辑的有界模型检验。 （英语） Zbl 1382.68141号

杜定珠（编辑）等，《计算与组合学》。2013年6月21日至23日，第19届国际会议，COCOON 2013，中国杭州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38767-8/pbk）。计算机科学讲义79361591-602（2013）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。7936、591--602（2013；Zbl 1382.68141）
全文： 内政部
张楠;段振华

多核并行计算的语义模型。 （英语） Zbl 1342.68202号

王伟凡（编辑）等，组合优化与应用。2011年8月4日至6日，中国张家界，第五届国际会议，COCOA 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22615-1/pbk）。计算机科学课堂讲稿6831，464-479（2011）。
MSC公司：68问题55 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}和\textit{Z.Duan}，Lect。注释计算。科学。6831464--479（2011年；Zbl 1342.68202）
全文： 内政部
田聪;段振华

从PPTL到S1S的转变。 （英语） Zbl 1310.68146号

Wu，Weili（编辑）等，组合优化与应用。2010年12月18日至20日，第四届国际会议，COCOA 2010，美国HI凯鲁亚·科纳。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-17460-5/pbk）。计算机科学课堂讲稿6509374-386（2010）。
MSC公司：60年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}和\textit{Z.Duan}，Lect。注释计算。科学。6509374-386（2010年；Zbl 1310.68146）
全文： 内政部
张海滨;段振华

矩形混合系统的符号算法分析。 （英语） Zbl 1139.68381号

Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，294-305（2008）。
MSC公司：60年第68季度 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}和\textit{Z.Duan}，Lect。注释计算。科学。4978，294--305（2008；Zbl 1139.68381）
全文： 内政部
田聪;段振华

命题投影时序逻辑、Büchi自动机和\（\omega \）-正则表达式。 （英语） Zbl 1140.03305号

Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，47-58（2008）。
MSC公司：03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}和\textit{Z.Duan}，Lect。注释计算。科学。4978，47-58（2008；Zbl 1140.03305）
全文： 内政部
段振华;田聪

无限模型下命题投影时序逻辑的可判定性。 （英语） Zbl 1198.68167号

蔡金毅（主编）等，计算模型的理论与应用。2007年5月22日至25日，第四届国际会议，TAMC 2007，中国上海。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72503-9/pbk）。计算机科学课堂讲稿4484，521-532（2007）。
MSC公司：60年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}和\textit{C.Tian}，Lect。注释计算。科学。4484、521--532（2007年；Zbl 1198.68167）
全文： 内政部
段振华;杨晓晓;马西耶·库特尼

框架时序逻辑程序的语义。 （英语） Zbl 1165.68329号

Gabbrielli，Maurizio（编辑）等人，《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议，ICLP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29208-X/pbk）。计算机科学课堂讲稿3668，356-370（2005）。
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。3668、356--370（2005年；Zbl 1165.68329）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件