title: model and verification of a data manager based on aries dean kuo acm trans . database syst . 1996. authors: nan. venue: nan. year: nan
title: model and verification of a data manager based on aries dean kuo acm transactions on database systems ( tods ). authors: nan. venue: nan. year: 1996.0