English
|
正體中文
|
简体中文
|
Items with full text/Total items : 93288/109022 (86%)
Visitors : 21023777 Online Users : 1082
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by
NTU Library IR team.
Scope
All of ASIAIR
亞洲學術期刊
人文社會學院
其他教學單位
創意設計學院
校級出版品
管理學院
行政單位
護理學院
資訊學院
醫學暨健康學院
Tips:
please add "double quotation mark" for query phrases to get precise results
please goto advance search for comprehansive author search
Adv. Search
Home
‧
Login
‧
Upload
‧
Help
‧
About
‧
Administer
ASIA unversity
>
Items for Author
Loading...
Category
Loading community tree, please wait....
Year
Loading year class tree, please wait....
Items for Author "A. P. Sistla and Avinash Sahay"
Return to Browse by Author
Showing 1 items.
Collection
Date
Title
Authors
Bitstream
[生物資訊與醫學工程學系 ] 會議論文
1997-02
Incremental Verification of Architecture Specification Language for Real-Time Systems
Jeffrey J. P. Tsai
;
A. P. Sistla and Avinash Sahay
DSpace Software
Copyright © 2002-2004
MIT
&
Hewlett-Packard
/
Enhanced by
NTU Library IR team
Copyright ©
-
Feedback