文献

J-GLOBAL ID：201002276828910416   整理番号：10A0910588

OBDDベース到達可能性解析のための指数空間複雑性

Exponential space complexity for OBDD-based reachability analysis

著者 (1件)： BOLLIG Beate (LS2 Informatik, TU Dortmund, 44221 Dortmund, DEU)
資料名： Information Processing Letters  (Information Processing Letters)
巻： 110  号： 21  ページ： 924-927  発行年： 2010年10月15日 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 到達可能性 ,  解析 ,  指数 ,  複雑性