https://scholars.lib.ntu.edu.tw/handle/123456789/497114
標題: | RTL and Refutation by Positive Cycles. | 作者: | Wang, Farn Mok, Aloysius K. FARN WANG |
公開日期: | 1994 | 起(迄)頁: | 659-680 | 來源出版物: | FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497114 | DOI: | 10.1007/3-540-58555-9_121 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。