@techreport{weko_21840_1,
   author	 = "山根,智 and 蒋,海雲",
   title	 = "オートマトン理論に基づくリアルタイムソフトウェアの検証システム",
   year 	 = "1996",
   institution	 = "島根大学総合理工学部数理情報システム学科, 南京通信研究所",
   number	 = "6(1995-SE-107)",
   month	 = "jan"
}