@收款{zbMATH05695360，作者={Seshia，Sanjit A.和Bryant，Randal E.}，Title={使用{Boolean}方法对时间自动机进行无边界、全符号模型检查。}，BookTitle={计算机辅助验证。第15届国际会议，CAV 2003，美国科罗拉多州博尔德，2003年7月8日至12日。诉讼}，国际标准图书编号={3-540-40524-0}，页码={154--166}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b11831}，关键词={68Q60,03C10,68Q45,68W30}，zbMATH={5695360}，Zbl={1278.68194}}