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

关于TAIR
	计画说明

"lei c l"的相关文件

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

显示项目 76-80 / 80 (共4页)
<< < 1 2 3 4
每页显示[10|25|50]项目

机构	日期	题名	作者
國立臺灣大學	1986	Temporal Reasoning under Generalized Fairness Constraints	Emerson, E. A.; Lei, C. L.
國立臺灣大學	1985	Branching Time Logic Strikes Back	Emerson, E. A.; Lei, C. L.
國立臺灣大學	1985	Modalities For Model Checking: Branching Time Strikes Back	Emerson, E. A.; Lei, C. L.
國立臺灣大學	1985	Temporal Model Checking under Generalized Fairness Constraints	Emerson, E. A.; Lei, C. L.
國立臺灣大學	1984	Model Checking under Generalized Fairness Constraintx	Emerson, E. A.; Lei, C. L.

显示项目 76-80 / 80 (共4页)
<< < 1 2 3 4
每页显示[10|25|50]项目

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