@techreport{weko_36056_1,
   author	 = "勝山,光太郎 and 佐藤,文明 and 水野,忠則",
   title	 = "形式記述技法を用いた適合性試験システム",
   year 	 = "1991",
   institution	 = "三菱電機株式会社情報電子研究所, 三菱電機株式会社情報電子研究所, 三菱電機株式会社情報電子研究所",
   number	 = "17(1990-DPS-049)",
   month	 = "mar"
}