@收款{zbMATH06273794，作者={Mart{\'{\i}}n，{\'O}scar and Verdejo，Alberto and Mart{\'{\i}}-Oliet，Narciso}，标题={模型检查{TLR}*无限系统上的保证公式}，BookTitle={规范、代数和软件。专为Kokichi Futatsugi}撰写的论文，国际标准图书编号={978-3-642-54623-5}，页码={129--150}，年份={2014}，出版商＝{柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-54624-2_7}，关键词={68Q60,68Q42}，URL={eprints.ucm.es/22647/1/master_thesis_-_two_sides_-for_printing.pdf}，zbMATH={6273794}，Zbl=｛1407.68296｝}