文献
J-GLOBAL ID:201602287593223756
整理番号:13A1244972
Bounded Model Checking Algorithm to Reduce the State Space in Multi-Agent Systems
著者 (4件):
Zhou Conghua
(School of Computer Sci. and Telecommunication Engineering, Jiangsu Univ., Zhenjiang)
,
Ye Meng
(School of Computer Sci. and Telecommunication Engineering, Jiangsu Univ., Zhenjiang)
,
Wang Changda
(School of Computer Sci. and Telecommunication Engineering, Jiangsu Univ., Zhenjiang)
,
Liu Zhifeng
(School of Computer Sci. and Telecommunication Engineering, Jiangsu Univ., Zhenjiang)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
23
号:
11
ページ:
2835-2861
発行年:
2012年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
発行国:
中国 (CHN)
言語:
中国語 (ZH)