研究者情報 | 神奈川大学

ニシザワ　コウキ 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