ニシザワ コウキ   Nishizawa Koki
  西澤 弘毅
   所属   神奈川大学  工学部 情報システム創成学科
    神奈川大学大学院  工学研究科 工学専攻(情報システム創成領域)
   職種   准教授
言語種別 英語
発行・発表の年月 2010/08
形態種別 学術雑誌
査読 査読あり
標題 Multi-valued modal fixed point logics for model checking
執筆形態 単著
掲載誌名 IEICE Transactions on Information and Systems, Vol.E93-D, No,8
掲載区分国内
巻・号・頁 pp.2036-2039