@article{weko_11200_1,
   author	 = "立石,孝彰 and 青木,利晃 and 片山,卓也",
   title	 = "振舞い近似手法を用いたステートチャートに対する不変性の検証",
   journal	 = "情報処理学会論文誌",
   year 	 = "2003",
   volume	 = "44",
   number	 = "6",
   pages	 = "1448--1460",
   month	 = "jun"
}