文献
J-GLOBAL ID:201702288475081770
整理番号:17A0204958
MSVLを有する同時実行システムのモデル検査【Powered by NICT】
Model checking concurrent systems with MSVL
著者 (3件):
Zhang Nan
(Institute of Computing Theory and Technology, Xidian University)
,
Duan Zhenhua
(Institute of Computing Theory and Technology, Xidian University)
,
Tian Cong
(Institute of Computing Theory and Technology, Xidian University)
資料名:
Science China. Information Sciences
(Science China. Information Sciences)
巻:
59
号:
11
ページ:
118101-1-118101-3
発行年:
2016年
JST資料番号:
C2579A
ISSN:
1674-733X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
英語 (EN)