臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

关于TAIR
	计画说明

"yang jin"的相关文件

回到依作者浏览
依题名排序	依日期排序

显示项目 1-2 / 2 (共1页)
1
每页显示[10|25|50]项目

机构	日期	题名	作者
臺大學術典藏	2020-06-04T07:48:58Z	Symbolic Model Checking for Event-Driven Real-Time Systems.	Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG
臺大學術典藏	2020-06-04T07:48:58Z	Symbolic Model Checking for Event-Driven Real-Time Systems.	Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG

显示项目 1-2 / 2 (共1页)
1
每页显示[10|25|50]项目

	English \| 正體中文 \| 简体中文 \| 总笔数 :2856753
	造访人次 : 53852110 在线人数 : 1201 教育部委托研究计画计画执行:国立台湾大学图书馆