%0 Conference Paper %A Truong, Anh Hoang %A Nguyen, Ngoc Khai %A Dang, Van Hung %A Dang, Duc Hanh %B 13th International Conference on Theoretical Aspects of Computing (ICTAC) %D 2016 %F SisLab:1954 %I Springer %P 82-99 %T Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs %U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1954/ %V 9965