@techreport{weko_82661_1,
   author	 = "坂本,悠 and 山本,泰生 and 岩沼,宏治",
   title	 = "多値論理を用いた生体ネットワークシステムのモデル検査（2012年5月28日版）",
   year 	 = "2012",
   institution	 = "山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻, 山梨大学大学院医学工学総合研究部, 山梨大学大学院医学工学総合研究部",
   number	 = "23",
   month	 = "jun"
}