@收款{zbMATH05780221，作者={Manna，Zohar and Pnueli，Amir}，标题={反应系统的时间验证：响应}，BookTitle={验证时间。纪念Amir Pnueli}的论文，国际标准图书编号={978-3-642-13753-2}，页码={279--361}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-13754-9_13}，关键词={68Q60,68N30}，zbMATH={5780221}，Zbl={1288.68169}}