English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  52286552    Online Users :  865
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

"a p sistla and avinash sahay"

Return to Browse by Author
Sorting by Title Sort by Date

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

Institution Date Title Author
亞洲大學 1997-02 Incremental Verification of Architecture Specification Language for Real-Time Systems Jeffrey J. P. Tsai;A. P. Sistla and Avinash Sahay

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