@InCollection{zbMATH06741671，作者={Roohi、Nima和Prabhakar、Pavithra和Viswanathan、Mahesh}，Title={时钟漂移下时间自动机的鲁棒模型检验}，BookTitle={第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18日至20日}，国际标准图书编号={978-1-4503-4590-3}，页码={153--162}，年份={2017年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3049797.3049821}，关键词={68Q45,68Q60}，zbMATH={6741671}，Zbl=｛1366.68152｝}