>

temporal logic specification

📖 中文释义

  1. [计] 暂时逻辑说明