Showing 1 - 2 results of 2 for search '"Temporal Logic"', 查询时间: 0.03s Refine Results
  1. 1
    Specification of software systems
    由 Alagar, V S
    出版 2011
    主题: “...Temporal Logic...”
    Printed Book
  2. 2
    Temporal information processing technology and its applications
    由 Tang, Yong
    出版 2010
    主题: “...Temporal logic method...”
    Printed Book
检索工具: 得到RSS订阅 — 推荐此搜索