English  |  正體中文  |  简体中文  |  2828323  
???header.visitor??? :  32221505    ???header.onlineuser??? :  600
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"yu lien po"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-4 of 4  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
國立臺灣大學 2006 Decidability Analysis of Self-Stabilization for Infinite State Systems Yen, Hsu-Chun; Yu, Lien-Po
國立臺灣大學 2005 無窮狀態系統的可到達性與自穩定性分析 于濂波; Yu, Lien-Po
國立臺灣大學 2004-03 Dependability analysis of a class of probabilistic Petri nets Yen, Hsu-Chun; Yu, Lien-Po
臺大學術典藏 2004-03 Dependability analysis of a class of probabilistic Petri nets Yen, Hsu-Chun; Yu, Lien-Po; Yen, Hsu-Chun; Yu, Lien-Po

Showing items 1-4 of 4  (1 Page(s) Totally)
1 
View [10|25|50] records per page