著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "鵜川, 始陽 and 松元, 稿如 and 飯干, 寛幸",並行プログラムのPartialStoreOrderingでの実行をモデル検査するためのReleaseメモリバリア,第60回プログラミング・シンポジウム予稿集,,,2019-01-11,2019,,119-128,https://cir.nii.ac.jp/crid/1050575661501874304,