×

找到128个文档(结果1-100)

验证。 (英语) Zbl 07425674号

Pin,Jean-Éric(编辑),《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林:欧洲数学学会(EMS)。1415-1456 (2021).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

On(\(I/O \))-aware good for-games自动机。 (英语) Zbl 1517.68186号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12302, 161-178 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

GFG和基于转换的自动机中的规范性。 (英语) 兹比尔07455749

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326199-215(2020)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

良好的全面合成。 (英语) Zbl 1478.68141号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12225, 541-563 (2020).
PDF格式BibTeX公司 XML格式引用

关于用算术综合规格说明。 (英语) Zbl 1440.68171号

Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12011, 161-173 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时真空。 (英语) Zbl 1460.68055号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 438-455 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有行为和收入目标的交替可达性游戏。 (英语) Zbl 1415.68150号

Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 498-514 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL算法及其在层次系统推理中的应用。 (英语) Zbl 1415.68144号

Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 343-362 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定量假设保证合成。 (英语) Zbl 1494.68156号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 353-374 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

流程逻辑。 (英语) Zbl 1442.03015号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第9条,第18页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在硬布尔约束下最小化预期成本,并应用于定量合成。 (英语) Zbl 1392.68225号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第9条,第15页(2016)。
PDF格式BibTeX公司 XML格式引用

针对随机环境的高质量合成。 (英语) Zbl 1369.68256号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第28条,第17页。(2016).
PDF格式BibTeX公司 XML格式引用

关于高质量合成。 (英语) Zbl 1476.68150号

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9691, 1-15 (2016).
MSC公司:60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于相对和概率有限抗衡性。 (英语) Zbl 1373.68288号

Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林,2015年9月7日至10日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,175-192(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

监测和综合的传感成本。 (英语) Zbl 1366.68131号

Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,380-393(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

跨越从安全到活跃的范围。 (英语) Zbl 1408.68095号

Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9364, 183-200 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格自动机中的固有真空。 (英语) Zbl 1465.68178号

Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。尤里·古雷维奇75岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。9300, 174-192 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据参数化系统仿真的博弈论方法。 (英语) Zbl 1448.68300号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 348-363 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL贴现。 (英语) Zbl 1477.68163号

阿尔布拉哈姆,埃里卡(编辑)等人,《系统构建和分析的工具和算法》。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议(TACAS 2014),是欧洲软件理论与实践联合会议(ETAPS 2014)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第8413、424-439页(2014年)。
PDF格式BibTeX公司 XML格式引用

从可达性到成本分担游戏中的时间规范。 (英语) Zbl 1423.68272号

Demri,Stéphane(编辑)等人,《自动推理》。2014年7月19日至22日,第七届国际联合会议(IJCAR 2014)在奥地利维也纳举行,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8562, 1-15 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于组件库的成本合成。 (英语) Zbl 1417.68097号

Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8704, 156-172 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

噪声输入下的格型LTL合成。 (英语) Zbl 1405.68178号

Muscholl,Anca(编辑),《软件科学和计算结构基础》。2014年4月5日至13日,作为欧洲软件理论与实践联席会议的一部分,在法国格勒诺布尔举行的第17届国际会议,FOSSACS 2014。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54829-1/pbk)。计算机科学课堂讲稿8412,226-241(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有固定目标的网络形成游戏。 (英语) Zbl 1348.91069号

Muscholl,Anca(编辑),《软件科学和计算结构基础》。2014年4月5日至13日,作为欧洲软件理论与实践联席会议的一部分,在法国格勒诺布尔举行的第17届国际会议,FOSSACS 2014。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54829-1/pbk)。计算机科学课堂讲稿841219-133(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种自动机理论方法,用于推理参数化系统和规范。 (英语) Zbl 1410.68228号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 397-411 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对空置结果进行排序的框架。 (英语) Zbl 1410.68216号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 148-162 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于质量的形式化和推理。 (英语) Zbl 1335.68130号

Fomin,Fedor V.(编辑)等人,《自动化、语言和编程》。2013年7月8日至12日,第40届国际学术讨论会,ICALP 2013,拉脱维亚里加,会议记录,第二部分。柏林:施普林格出版社(ISBN 978-3-642-39211-5/pbk)。计算机科学讲座笔记7966,15-27(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化加权包容。 (英语) Zbl 1260.68225号

Pfenning,Frank(编辑),《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013,是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37074-8/pbk)。计算机科学课堂讲稿7794369-384(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用参数化原子命题的模型检查系统和规范。 (英语) Zbl 1374.68288号

Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561122-136(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将LTL转换为确定性自动机时的放大。 (英语) Zbl 1327.68161号

范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学讲义6572。人工智能课堂讲稿,85-94(2011)。
PDF格式BibTeX公司 XML格式引用

有界系统和环境的时间合成。 (英语) 兹比尔1230.68144

Schwentick,Thomas(编辑)等人,STACS 2011。2011年3月10日至12日,第28届计算机科学理论方面国际研讨会,德国多特蒙德。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-25-5)。LIPIcs–莱布尼茨国际信息学会议录9615-626,仅电子版(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在线算法的形式化分析。 (英语) Zbl 1348.68298号

Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,213-227(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替加权自动机的最大和语义。 (英语) Zbl 1348.68116号

Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,13-27(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

触发器属性的合成。 (英语) Zbl 1310.68143号

Clarke,Edmund M.(编辑)等人,《编程逻辑、人工智能和推理》。第16届国际会议,LPAR-16,塞内加尔达喀尔,2010年4月25日至5月1日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17510-7/pbk)。计算机科学课堂讲稿6355。人工智能课堂讲稿,312-331(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多值自动机及其应用。 (英语) Zbl 1214.68197号

Esparza,Javier(编辑)等人,《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹:IOS出版社(ISBN 978-1-60750-099-5/hbk;978-1-60750-100-8/电子书)。北约和平与安全科学系列D:信息与通信安全25,179-194(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Büchi自动机中的交替移除。 (英语) Zbl 1288.68148号

Abramsky,Samson(编辑)等人,《自动化,语言和编程》。第37届国际学术讨论会,ICALP 2010,波尔多,法国,2010年7月6日至10日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-14161-4/pbk)。计算机科学讲义6199,76-87(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限状态系统的自动机理论方法。 (英语) Zbl 1288.68158号

Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲座笔记6200,202-259(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

理性综合。 (英语) Zbl 1284.68396号

Esparza,Javier(编辑)等人,《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议(TACAS 2010)是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12001-5/pbk)。计算机科学课堂讲稿6015190-204(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进了分层系统的模型检查。 (英语) 兹比尔1273.68217

Barthe,Gilles(编辑)等人,《验证、模型检验和抽象解释》。第11届国际会议,VMCAI 2010,马德里,西班牙,2010年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11318-5/pbk)。计算机科学课堂讲稿594461-77(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

普适co-Büchi自动机非空性的目击者下限。 (英语) Zbl 1234.68221号

de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504182-196(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

是什么导致系统满足规范? (英语) Zbl 1367.68185号

ACM事务处理。计算。日志。 第9号第3条第20条第26页(2008年); 勘误表同上,第11号,第4条,第29条,第2页(2010年)。
PDF格式BibTeX公司 XML格式引用

测试中的真空度。 (英语) Zbl 1138.68437号

Beckert,Bernhard(编辑)等人,《测试和证明》。第二届国际会议,2008年4月9日至11日,意大利普拉托,TAP 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79123-2/pbk)。计算机科学课堂讲稿4966,4-17(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于验证分布式协议的容错性。 (英语) Zbl 1134.68317号

Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008,是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963,315-331(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

收紧自动机之间的汇率。 (英语) Zbl 1179.68072号

Duparc,Jacques(编辑)等人,《计算机科学逻辑》。第21届国际研讨会,CSL 2007,EACSL第16届年会,2007年9月11日至15日,瑞士洛桑。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74914-1/pbk)。计算机科学课堂讲稿4646,7-22(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格子模拟关系和游戏。 (英语) Zbl 1141.68473号

Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762316-330(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过隐藏变量更好地实现程序的欠近似。 (英语) Zbl 1132.68332号

Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。《计算机科学讲义》4349314-328(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格自动机。 (英语) Zbl 1132.68455号

Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349199-213(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限词自动机及其在形式验证中的应用。 (英语) Zbl 1137.68040号

Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息与通信安全9,135-150(2007)。
PDF格式BibTeX公司 XML格式引用

在抽象中跳跃循环。 (英语) Zbl 1135.68465号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590491-503(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

从活泼到敏捷。 (英语) Zbl 1135.03336号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。《计算机科学讲义》4590406-419(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

开放系统的验证。 (英语) Zbl 1266.68133号

Goldin,Dina(编辑)等人,《交互式计算》。新范式。柏林:施普林格出版社(ISBN 3-540-34666-X/hbk)。97-117 (2006).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于安全属性精细自动机的构建。 (英语) Zbl 1161.68572号

Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,110-124(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在本地可检查的属性上。 (英语) Zbl 1165.68408号

Hermann,Miki(编辑)等人,《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48281-9/pbk)。计算机科学课堂讲稿4246。人工智能课堂讲稿,302-316(2006)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无安全成分合成。 (英语) Zbl 1188.68193号

Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义414431-44(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正式验证中的健全性检查。 (英语) Zbl 1151.68485号

Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,37-51(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

寻找无限单词上自动机非空性的最短见证人。 (英语) Zbl 1151.68462号

Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲稿4137492-508(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

经常出现真空。 (英语) Zbl 1159.68311号

Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学课堂讲稿3725191-206(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用绑定函数验证定量属性。 (英语) Zbl 1159.68313号

Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学讲义3725,50-64(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

伪造摘要。 (英语) Zbl 1081.68051号

Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576,67-81(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

推理具有过渡公平性的系统。 (英语) Zbl 1108.68486号

Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,194-208(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模态演算交替层次结构的度量崩溃。 (英语) Zbl 1122.68470号

Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996522-533(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从补充到认证。 (英语) Zbl 1126.68481号

Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988591-606(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

比奇互补更加紧密。 (英语) Zbl 1108.68068号

Wang,Farn(编辑),验证和分析自动化技术。2004年10月31日至11月3日,第二届国际会议,ATVA 2004,中华民国台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23610-4/pbk)。计算机科学课堂讲稿3299,64-78(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

公平等价关系。 (英语) Zbl 1274.68194号

Dershowitz,Nachum(编辑),《验证:理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-21002-4/pbk)。计算机科学课堂讲稿2772702-732(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于正式验证的覆盖度量。 (英语) Zbl 1179.68080号

Geist,Daniel(编辑)等人,《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议,CHARME 2003,意大利拉奎拉,2003年10月21日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20363-X/pbk)。莱克特。注释计算。科学。2860, 111-125 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\Pi_2\cap\Sigma_2\equiv\text{AFMC}\)。 (英语) Zbl 1039.03023号

Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 697-713 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

线性时序逻辑中的重置与中止。 (英语) Zbl 1031.68075号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 65-80 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于(mu)-演算的普遍片段和存在片段。 (英语) Zbl 1031.68080号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 49-64 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

分级微积分的复杂性。 (英语) Zbl 1072.03014号

Andrei Voronkov(编辑),自动扣除-CADE-18。第18届国际会议,丹麦哥本哈根,2002年7月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43931-5)。莱克特。注释计算。科学。2392, 423-437 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

未初始化系统的合成。 (英语) Zbl 1057.68060号

Peter Widmayer(编辑)等人,《自动化、语言和编程》。第29届国际学术讨论会,ICALP 2002,西班牙马拉加,2002年7月8日至13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43864-5)。莱克特。注释计算。科学。2380, 644-656 (2002).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

下压规范。 (英语) Zbl 1023.68624号

Baaz,Matthias(编辑)等人,《编程逻辑、人工智能和推理》。第九届国际会议,2002年10月14日至18日,格鲁吉亚第比利斯,LPAR 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第251426-277页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

公平交易概率。 (英语) Zbl 1020.68060号

朱利安·布拉德菲尔德(编辑),《计算机科学逻辑》。第16届国际研讨会,CSL 2002,EACSL第11届年会,苏格兰爱丁堡,英国,2002年9月22日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2471, 292-305 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

模型检查前缀可识别系统的线性属性。 (英语) Zbl 1010.68078号

Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 371-385 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份