文献

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)

タイトルに関連する用語 (3件)： 不完全情報 ,  モジュール ,  検査