%0 Conference Paper
%A Truong, Anh Hoang
%A Nguyen, Ngoc Khai
%B Hội nghị nghiên cứu và ứng dụng Công nghệ thông tin 2015
%C Hanoi, Vietnam
%D 2015
%F SisLab:1740
%T Hệ thống kiểu để tính biên tài nguyên của các chương trình giao dịch lồng nhau và đa luồng
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1740/