@article{weko_60716_1, author = "徐,海燕 and 古川,哲也 and 史,一華", title = "一貫性と隔離性の細分による並行実行の正当性の検証", journal = "情報処理学会論文誌データベース(TOD)", year = "2009", volume = "2", number = "1", pages = "22--32", month = "mar" }