2024-04-19T05:15:57Z年4月19日 https://oai.zbmath.org/v1/

oai:zbmath.org:7196606 2020-05-05T22:47:27Z 68

马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；Larsen，Kim Guldstrand；弗洛里安·洛伯 2019 7196606 英语 https://zbmath.org/07196606 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 安德烈，埃蒂安（编辑）等，时间系统的形式化建模和分析。2019年8月27日至29日，第17届国际会议，FORMATS 2019，荷兰阿姆斯特丹。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11750, 216-235 (2019). 68Q32；65年第68季度 学习时间——从测试中学习时间自动机 一