×

找到12个文档(结果1-12)

VeriMon:正式验证的监控工具。 (英语) Zbl 07719820号

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 1-6 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

爱丽丝和鲍勃遇到了等式理论。 (英语) 兹比尔1321.68343

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,160-180(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全协议分析的基于认知的语义。 (英语) Zbl 1268.94022号

Goubault-Larrecq,Jean(编辑),LACPV’2001。密码协议验证的逻辑方面。2001年7月23日,法国巴黎,第一次研讨会(CAV’01卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》55,第1期,5-24(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在归纳定义上构建元理论。 (英语) Zbl 1412.68205号

McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 171-185 (1996).
MSC公司:第68页第15页 03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份