2024-04-20T04:22:11Z年4月20日 https://oai.zbmath.org/v1/

oai:zbmath.org:7343203 2021-05-04T10:26:44Z 68

阿扎德巴赫特，基万；德波尔（Frank S.de Boer）。；埃里克·德文克 2018 7343203 英语 https://zbmath.org/07343203 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 39-54 (2018). 68N30；68问题85 基于参与者的协同程序死锁检测 一