2024-04-24T01:39:15Z https://oai.zbmath.org/v1/

oai:zbmath.org:6059159 2012年7月20日13:46:34Z 68

达姆，维尔纳；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；弗洛里安·皮戈什（Florian Pigorsch）；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 2012 6059159 英语 爱思唯尔科学有限公司（北荷兰），阿姆斯特丹 https://zbmath.org/06059159 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。' 科学。计算。程序。77，No.10-11122-1150（2012）。 68Q60；68Q45；68瓦30 具有大离散状态空间的线性混合自动机的精确和全符号验证 j个