• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

刘科 (刘科.) | 杨红丽 (杨红丽.) | 赵瑞芳 (赵瑞芳.) | 廖湖声 (廖湖声.) | 陈瑶 (陈瑶.) | 秦胜潮 (秦胜潮.)

Indexed by:

CQVIP PKU CSCD

Keyword:

时态逻辑 模型检查 XML Schema特征

Author Community:

  • [ 1 ] [刘科]北京工业大学
  • [ 2 ] [杨红丽]北京工业大学
  • [ 3 ] [赵瑞芳]北京工业大学
  • [ 4 ] [廖湖声]北京工业大学
  • [ 5 ] [陈瑶]北京工业大学
  • [ 6 ] [秦胜潮]北京工业大学

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

计算机科学

Year: 2015

Issue: 0

Volume: 42

Page: 438-443

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count: -1

Chinese Cited Count:

30 Days PV: 0

Affiliated Colleges:

Online/Total:1100/5329341
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.