ニシザワ コウキ   Nishizawa Koki
  西澤 弘毅
   所属   神奈川大学  工学部 情報システム創成学科
    神奈川大学大学院  工学研究科 工学専攻(情報システム創成領域)
   職種   准教授
言語種別 英語
発行・発表の年月 2006/10
形態種別 大学・研究所等紀要
標題 Formalising Coffman Conditions in First Order Modal mu Calculus (Extended Version)
執筆形態 共著
掲載誌名 Programming Science Technical Report, Research Center for Verification and Semantics, AIST
掲載区分国内
巻・号・頁 AIST-PS-2006-010,,pp.1-26
著者・共著者 Yoshiki Kinoshita, Koki Nishizawa and Keishi Okamoto