@techreport{weko_21680_1,
   author	 = "小山,徳章 and 原,圭吾 and 植木,克彦",
   title	 = "OSシミュレーションによるリアクティブソフトウェアのテスト工程の改善",
   year 	 = "1998",
   institution	 = "株式会社東芝研究開発センター, 株式会社東芝研究開発センター, 株式会社東芝研究開発センター",
   number	 = "64(1998-SE-120)",
   month	 = "jul"
}