@techreport{weko_21614_1,
   author	 = "上田,佳寛",
   title	 = "プロダクションシステムで記述された通信ソフトウェア仕様の検証方式の一検討",
   year 	 = "1999",
   institution	 = "沖電気工業株式会社",
   number	 = "37(1999-SE-123)",
   month	 = "may"
}