@收款{zbMATH00177521，作者={滨口、清原和平石、平宫和矢岛、舒佐}，标题={线性时间复杂度模型检查的分支时间规则时序逻辑}，BookTitle={计算机辅助验证。第二届国际会议，CAV’90，新泽西州新不伦瑞克，美国，1990年6月18-21日。诉讼}，ISBN＝{3-540-54477-1}，页码={253--262}，年份={1991年}，Publisher={Berlin等：Springer-Verlag}，语言={英语}，关键词={68Q60}，zbMATH＝{177521}，Zbl={0765.68126}}