@techreport{weko_21219_1,
   author	 = "長谷川,哲夫 and 深澤,良彰",
   title	 = "シーケンス図からの時間性能モデル検査用オブザーバ生成手法",
   year 	 = "2006",
   institution	 = "株式会社東芝 早稲田大学, 早稲田大学",
   number	 = "35(2006-SE-151)",
   month	 = "mar"
}