temporal logic specification
temporal logic specification是什么意思、temporal logic specification怎么读
【计】 暂时逻辑说明
temporal logic specification汉语翻译
【计】 暂时逻辑说明