Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán /

Tác giả Phạm, Hồng Thái
Xuất bản 2005