eprintid: 1740 rev_number: 9 eprint_status: archive userid: 11 dir: disk0/00/00/17/40 datestamp: 2016-06-09 01:53:40 lastmod: 2016-06-09 01:53:40 status_changed: 2016-06-09 01:53:40 type: conference_item metadata_visibility: show creators_name: Truong, Anh Hoang creators_name: Nguyen, Ngoc Khai creators_id: hoangta@vnu.edu.vn title: 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 ispublished: pub subjects: IT divisions: fac_fit date: 2015 date_type: published full_text_status: none pres_type: paper event_title: Hội nghị nghiên cứu và ứng dụng Công nghệ thông tin 2015 event_location: Hanoi, Vietnam event_dates: 21-23 October 2015 event_type: conference refereed: TRUE citation: Truong, Anh Hoang and Nguyen, Ngoc Khai (2015) 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. In: Hội nghị nghiên cứu và ứng dụng Công nghệ thông tin 2015, 21-23 October 2015, Hanoi, Vietnam.