https://scholars.lib.ntu.edu.tw/handle/123456789/497112
標題: | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | 作者: | FARN WANG | 公開日期: | 1999 | 起(迄)頁: | 328-347 | 來源出版物: | FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497112 | DOI: | 10.1007/3-540-48119-2_20 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。