computation tree logic

名词 n.
中文释义

英文释义

名词 n.
  1. A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until". uncountable
0 次浏览 数据来源: Wiktionary