English  |  正體中文  |  简体中文  |  Total items :2831195  
Visitors :  33203680    Online Users :  909
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"jonsson bengt"

Return to Browse by Author
Sorting by Title Sort by Date

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

Institution Date Title Author
臺大學術典藏 2018-09-10T05:51:51Z General decidability theorems for infinite-state systems Abdulla, Parosh Aziz;Cerans, Karlis;Jonsson, Bengt;Tsay, Yih-Kuen; Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; Tsay, Yih-Kuen; YIH-KUEN TSAY
國立臺灣大學 1996 Assumption/guarantee specifications in linear-time temporal logic Jonsson, Bengt; Tsay, Yih-Kuen
臺大學術典藏 1996 Assumption/guarantee specifications in linear-time temporal logic Jonsson, Bengt; Tsay, Yih-Kuen; Jonsson, Bengt; Tsay, Yih-Kuen
臺大學術典藏 1996 Assumption/guarantee specifications in linear-time temporal logic Jonsson, Bengt; Tsay, Yih-Kuen; Jonsson, Bengt; Tsay, Yih-Kuen

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