研究者情報 | 神奈川大学

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