Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Masato Takeichi and Zhenjiang Hu and Hideya Iwasaki,Formal derivation of parallel program for 2-dimensional maximum segment sum problem,,,Springer Berlin Heidelberg,1996-01-01,,,,https://cir.nii.ac.jp/crid/1871709543207814400,https://doi.org/10.1007/3-540-61626-8_75