范、楚楚;黄振奇;萨扬·密特拉 近似部分订单减少。 (英语) Zbl 1460.68070号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 588-607 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Fan}等人,Lect。注释计算。科学。10951、588--607(2018;Zbl 1460.68070) 全文: 内政部 arXiv公司
多龙·贝利德 部分订单减少。 (英语) Zbl 1392.68262号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。173-190 (2018).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled},in:模型检查手册。查姆:斯普林格。173-190(2018;Zbl 1392.68262) 全文: 内政部
亨宁·Günther;阿尔芬斯·拉阿尔曼;安娜·索科洛娃;乔治·威森巴赫 用于模型检查并发软件的动态约简。 (英语) Zbl 1484.68102号 Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10145, 246-265 (2017).MSC公司:60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Günther}等人,Lect。注释计算。科学。10145246--265(2017;Zbl 1484.68102) 全文: 内政部 arXiv公司
米克尔·伯特兰;弗朗西斯科·巴博特;气候,八月 分布式系统模型的形式化通信消除和序列化等价证明。 (英语) Zbl 1360.68471号 学报信息。 51,第6期,347-418(2014).MSC公司:2010年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bertran}等人,《信息学报》51,第6期,第347--418页(2014年;Zbl 1360.68471) 全文: 内政部
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里 通过部分降阶提升SystemC的惰性抽象。 (英语) Zbl 1316.68072号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605341-356(2011)。MSC公司:60年第68季度 68-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。6605341--356(2011;Zbl 1316.68072) 全文: 内政部
穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦查尔 Rebeca模型检验中的对称性和部分降阶技术。 (英语) 兹比尔1185.68142 学报信息。 47,第1号,33-66(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Jaghoori}等人,《信息学报》第47卷第1期,第33-66页(2010年;Zbl 1185.68142) 全文: 内政部 链接
克里斯蒂安·达克斯;费利克斯·克莱特克;斯特凡·洛伊 口吃变异正则属性的规范语言。 (英语) Zbl 1262.68114号 刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799,244-254(2009)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人,Lect。注释计算。科学。5799,244--254(2009;Zbl 1262.68114) 全文: 内政部 链接
塞尔吉奥·吉罗;佩德罗·R·达吉尼奥。;费雷尔·菲奥里蒂,路易斯·玛丽亚 概率系统的部分降阶:分布式调度程序的修订。 (英语) Zbl 1254.68149号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。《计算机科学讲义》5710、338-353(2009)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Giro}等人,Lect。注释计算。科学。5710338-353(2009年;Zbl 1254.68149) 全文: 内政部
斯特凡·爱德坎普;维克多·舒潘;博什纳奇·德拉甘;安东·威伊斯;安斯加·芬克;侯赛因·阿尔贾扎尔 定向模型检查调查。 (英语) 兹比尔1226.68042 Peled,Doron A.(编辑)等人,《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-00430-8/pbk)。计算机科学课堂讲稿5348。人工智能课堂讲稿,65-89(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Edelkamp}等人,Lect。注释计算。科学。5348、65-89(2009年;Zbl 1226.68042) 全文: 内政部 链接
阿扎德法尔赞;何塞·梅塞盖尔 编程语言重写语义的部分降阶。 (英语) Zbl 1279.68207号 Denker,Grit(编辑)等人,第六届重写逻辑及其应用国际研讨会论文集(WRLA 2006),奥地利维也纳,2006年4月1日至2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第4期,61-78(2007)。MSC公司:60年第68季度 68甲15 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}和\textit{J.Meseguer},电子。注释Theor。计算。科学。176,第4号,61--78(2007;Zbl 1279.68207) 全文: 内政部
米克尔·伯特兰;弗朗西斯科·巴博特;气候,八月 通过程序重写实现分布式系统的形式序列化。 (英语) Zbl 1278.68213号 Lucio,Paqui(编辑)等人,《第六届西班牙编程与语言会议论文集》(PROLE 2006),西班牙巴塞罗那Sitges,2006年10月4-6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记188,53-75(2007)。MSC公司:68问题85 68甲19 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bertran}等人,电子。注释Theor。计算。科学。188、53-75(2007年;Zbl 1278.68213) 全文: 内政部
王旭;玛尔塔·奎亚特科夫斯卡 使用未纠缠动作的合成状态空间缩减。 (英语) Zbl 1277.68213号 Amadio,Roberto(编辑)等人,第13届并发表达性国际研讨会论文集(EXPRESS 2006),德国波恩,2006年8月26日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》175,第3期,27-46(2007)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}和\textit{M.Kwiatkowska},电子。注释Theor。计算。科学。175,第3号,27-46(2007;Zbl 1277.68213) 全文: 内政部
吉安弗兰科·西亚多;杰拉尔德·吕特根;安德鲁·米纳(Andrew S.Miner)。 在符号状态空间生成中利用交错语义。 (英语) Zbl 1118.68533号 形式方法系统。设计。 31,第1号,63-100(2007).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciardo}等人,《形式方法系统》。设计。31,编号1,63--100(2007;Zbl 1118.68533) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;德奥索,朱利安;艾哈迈德·雷兹 树规则模型检查:一种基于仿真的方法。 (英语) Zbl 1101.68055号 J.日志。阿尔盖布。程序。 69,编号1-2,93-121(2006).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.Log。阿尔盖布。程序。69,编号1--2,93-121(2006;Zbl 1101.68055) 全文: 内政部