https://scholars.lib.ntu.edu.tw/handle/123456789/299211
標題: | Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram | 作者: | FARN WANG | 公開日期: | 三月-2002 | 來源出版物: | RTCSA’2002 | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/299211 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。