×

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

验证等价属性时的通信模型。 (英语) Zbl 1444.68035号

Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 141-163 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

自动化安全分析:约束系统的符号等价。 (英语) Zbl 1291.94068号

Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,412-426(2010)。
MSC公司:94A60型 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

主字段