@收款{zbMATH06778420，作者=｛Brockschmidt、Marc和Joosten、Sebastian J.C.和Thiemann、Ren｛\'e｝和Yamada、Akihisa｝，标题＝{证明整数转换系统的安全性和终止证明}，BookTitle={自动扣除--CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序}，ISBN＝{978-3-319-63045-8；978-3-319-63046-5}，页码={454--471}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-63046-5_28}，关键词={68V20,68N30,68V15}，URL={research.utwente.nl/en/publications/certifying-safety-and-termination-proofs-for-integer-transition-systems（4cf22f88-c224-4794-9d3f-cce7d3d45289）.html}，zbMATH={6778420}，Zbl={1494.68294}}