@techreport{weko_27154_1,
   author	 = "垣内,洋介 and 北嶋,暁 and 浜口,清治 and 柏原,敏伸",
   title	 = "モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法",
   year 	 = "2005",
   institution	 = "大阪大学大学院情報科学研究科, 大阪電気通信大学総合情報学部メディアコンピュータシステム学科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科",
   number	 = "102(2005-SLDM-121)",
   month	 = "oct"
}