@techreport{weko_27760_1,
   author	 = "樋口,博之 and 松永,裕介",
   title	 = "状態変数の動的削除を用いた状態数え上げの効率化",
   year 	 = "1998",
   institution	 = "（株）富士通研究所CAD研究部, （株）富士通研究所CAD研究部",
   number	 = "10(1997-SLDM-087)",
   month	 = "jan"
}