文献
J-GLOBAL ID:201302266168240419
整理番号:13A1230174
不完全情報を用いたプッシュダウンモジュール検査
Pushdown module checking with imperfect information
著者 (5件):
AMINOF Benjamin
(Hebrew Univ., Jerusalem, ISR)
,
LEGAY Axel
(INRIA, Rennes, FRA)
,
MURANO Aniello
(Universita di Napoli Federico II, Napoli, ITA)
,
SERRE Olivier
(Univ. Paris Diderot - Paris 7, FRA)
,
VARDI Moshe Y.
(Rice Univ., TX, USA)
資料名:
Information and Computation
(Information and Computation)
巻:
223
ページ:
1-17
発行年:
2013年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)