文献
J-GLOBAL ID:201202251140321656
整理番号:12A1461458
伝達コミットメント:モデル検査および計算量解析
Communicative commitments: Model checking and complexity analysis
著者 (4件):
BENTAHAR Jamal
(Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ...)
,
EL-MENSHAWY Mohamed
(Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ...)
,
QU Hongyang
(Oxford Univ., Dep. of Computer Sci., Wolfson Building, Parks Road, Oxford, GBR)
,
DSSOULI Rachida
(Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ...)
資料名:
Knowledge-Based Systems
(Knowledge-Based Systems)
巻:
35
ページ:
21-34
発行年:
2012年11月
JST資料番号:
T0426A
ISSN:
0950-7051
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)