托马斯·施图德(2011).证明逻辑在协议验证中的应用。在：2011年计算智能与安全CIS会议录。
此存储库中没有全文。(索取副本)
利益和影响
下载
0自2013年10月4日存入
过去12个月内为0
引文
科学网®中的5个引文
Scopus中的6条引文
搜索
在Google Scholar™中
服务
操作（需要登录）
 |
编辑项目 |
项目类型： |
会议或研讨会项目（纸张） |
部门/机构： |
08理学院>计算机科学研究所（INF）>逻辑与理论小组（LTG）
08理学院>计算机科学研究所（INF） |
UniBE贡献者： |
托马斯·施图德 |
语言： |
英语 |
提交人： |
事实科学导入
|
存款日期： |
2013年10月4日14:27 |
上次修改时间： |
2022年12月5日14:08 |
URI（URI）： |
https://boris.unibe.ch/id/eprint/9989（事实科学：215812） |
|
|
|
|
操作（需要登录）
|
编辑项目 |
