@techreport{weko_107106_1,
   author	 = "西村,俊二 and 尼崎,太樹 and 末吉,敏則",
   title	 = "タイミング制約を含んだ回路記述方式とその意味論",
   year 	 = "2014",
   institution	 = "熊本大学大学院自然科学研究科, 熊本大学大学院自然科学研究科, 熊本大学大学院自然科学研究科",
   number	 = "7",
   month	 = "nov"
}