@inproceedings{SisLab1954,
          volume = {9965},
          author = {Anh Hoang Truong and Ngoc Khai Nguyen and Van Hung Dang and Duc Hanh Dang},
          series = {LNCS},
       booktitle = {13th International Conference on Theoretical Aspects of Computing (ICTAC)},
           title = {Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs},
       publisher = {Springer},
           pages = {82--99},
            year = {2016},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1954/}
}