ニシザワ コウキ   Nishizawa Koki
  西澤 弘毅
   所属   神奈川大学  工学部 情報システム創成学科
    神奈川大学大学院  工学研究科 工学専攻(情報システム創成領域)
   職種   准教授
言語種別 英語
発行・発表の年月 2007/04
形態種別 大学・研究所等紀要
標題 Simulations of Multi-Valued Models for Modal mu-Calculus
執筆形態 共著
掲載誌名 Programming Science Technical Report, Research Center for Verification and Semantics, AIST
巻・号・頁 AIST-PS-2007-005,pp.1-20
著者・共著者 Koki Nishizawa, Yukiyoshi Kameyama and Yoshiki Kinoshita