TY  - CONF
ID  - SisLab1954
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1954/
A1  - Truong, Anh Hoang
A1  - Nguyen, Ngoc Khai
A1  - Dang, Van Hung
A1  - Dang, Duc Hanh
Y1  - 2016///
PB  - Springer
T3  - LNCS
VL  - 9965
TI  - Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs
SP  - 82
AV  - none
EP  - 99
T2  - 13th International Conference on Theoretical Aspects of Computing (ICTAC)
ER  -