@inproceedings{weko_149848_1,
   author	 = "井,智弘 and 稲永,峻介 and 坂内,英夫 and 竹田,正幸",
   title	 = "A-016 Verifying a Parameterized Border Array in O(n^<1.5>) Time",
   booktitle	 = "情報科学技術フォーラム講演論文集",
   year 	 = "2010",
   volume	 = "9",
   number	 = "1",
   pages	 = "181--188",
   month	 = "aug"
}