https://scholars.lib.ntu.edu.tw/handle/123456789/497141
標題: | Symbolic Model Checking for Distributed Real-Time Systems. | 作者: | Wang, Farn Mok, Aloysius K. Emerson, E. Allen FARN WANG |
公開日期: | 1993 | 起(迄)頁: | 632-651 | 來源出版物: | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497141 | DOI: | 10.1007/BFb0024671 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。