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

關於TAIR
	計畫說明

"lei c l"的相關文件

回到依作者瀏覽
依題名排序	依日期排序

顯示項目 76-80 / 80 (共2頁)
<< < 1 2
每頁顯示[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 (共2頁)
<< < 1 2
每頁顯示[10|25|50]項目

	English \| 正體中文 \| 简体中文 \| 總筆數 :2856704
	造訪人次 : 53644931 線上人數 : 2408 教育部委託研究計畫計畫執行:國立臺灣大學圖書館