@第{zbMATH07203665条，作者={博泽利、劳拉和莫利纳里、阿尔贝托和蒙塔纳里、安吉洛和佩隆、阿德里亚诺}，标题={使用正则表达式检查间隔时间逻辑}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN＝{0890-5401}，体积={272}，页码={33}，注={Id/编号104498}，年份={2020年}，语言={英语}，DOI={10.1016/j.ic.2019.104498}，关键词={68Q60,03B44,68Q25}，zbMATH={7203665}，Zbl={1443.68102}}