Text this: Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

 _    _      ___      _  __    _____    _    _   
| \  / ||   / _ \\   | |/ //  |  ___|| | || | || 
|  \/  ||  / //\ \\  | ' //   | ||__   | || | || 
| .  . || |  ___  || | . \\   | ||__   | \\_/ || 
|_|\/|_|| |_||  |_|| |_|\_\\  |_____||  \____//  
`-`  `-`  `-`   `-`  `-` --`  `-----`    `---`