文献
J-GLOBAL ID:201602289608134987
整理番号:13A1670140
Model Checking for Event Graphs and Event Temporal Logic
著者 (3件):
Xia Wei
(Coll. of Computer, National Univ. of Defense Technol., Changsha)
,
Yao Yiping
(Coll. of Computer, National Univ. of Defense Technol., Changsha)
,
Mu Xiaodong
(Dep. of Computer Sci., Xi’an Hi-Tech Inst., Xi’an)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
24
号:
3
ページ:
421-432
発行年:
2013年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
発行国:
中国 (CHN)
言語:
中国語 (ZH)