%S LNCS
%A Anh Hoang Truong
%A Ngoc Khai Nguyen
%A Van Hung Dang
%A Duc Hanh Dang
%T Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs
%P 82-99
%V 9965
%D 2016
%I Springer
%L SisLab1954