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訂閱 — 推薦此搜索