Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • 首頁
  • 單位
  • 研究人員
  • 研究成果檢索
  • 計畫
  • 分類瀏覽
    • 單位
    • 研究人員
    • 研究成果檢索
    • 計畫
  • 學術出版
  • 登入
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
  2. 數理科學組
  3. 資訊科學研究所
請用此 Handle URI 來引用此文件: http://ir.sinica.edu.tw/handle/201000000A/39302
題名: GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
作者: Y.-K. Tsay
Y.-F. Chen
M.-H. Tsai
K.-N. Wu
W.-C. Chan
公開日期: 2007-03
會議: Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (Braga, Portugal)
URI: http://ir.sinica.edu.tw/handle/201000000A/39302
顯示於:資訊科學研究所

顯示文件完整紀錄

Page view(s)

64
上周
0
上個月
2
checked on 2025/6/10

Google ScholarTM

檢查


在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。

瀏覽
  • 學術出版
  • 單位
  • 研究人員
  • 研究成果檢索
  • 計畫
DSpace-CRIS Software Copyright © 2002-  Duraspace   4science - Extension maintained and optimized by NTU Library Logo 4SCIENCE 回饋