Skip to content
Toggle navigation
MALRepository
Discover MALRep | Malaysian Academic Library Institutional Repository
常见问题
|
检索技巧
|
咨询台
我的帐户
退出
登录
Theme
Bootstrap
MALrep
语言
English
日本語
中文(简体)
中文（繁體）
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
Browse the Catalog
Discovery Service
MALCat : Malaysian Academic Library Union Catalog
MALRep : Malaysian Institutional Repository
AUNILO Institutional Repository Discovery Service
OCLC WorldCat
Katalog Induk Kebangsaan
About
Technical Team
全文检索
题名
作者
主题
索引号
ISBN/ISSN
标签
检索
高级检索
Distinguishing automata machin...
发送短信
发送短信 :
Distinguishing automata machine by using UPPAAL as a model checker
数:
提供者:
选择运营商
Alltel
AT&T
Cricket
Nextel
Sprint
T Mobile
Verizon
Virgin Mobile