×

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

用于资源分配的多智能体系统的模型检查和策略综合。 (英语) Zbl 1498.68343号

Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13130, 53-69 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可组合DeFi协议的形式化分析。 (英语) 兹比尔1492.91461

Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。12676, 149-161 (2021).
MSC公司:91G99型 94A60型
PDF格式BibTeX公司 XML格式引用

求解图上循环对策的势变换算法的复杂性估计。 (英语。俄文原件) Zbl 1431.91061号

J.计算。系统。科学。国际。 58,第3号,425-433(2019); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年,第3期,97-105(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份