Duy, Trịnh Công, Viet Nam

• Tạp chí Khoa học Vol. 106 No. 7 (2015): Chuyên san Kỹ thuật và Công nghệ - Chuyên san Kỹ thuật và Công nghệ
  SINH CA KIỂM THỬ CHO CÁC HỆ THỐNG PHẢN ỨNG SỬ DỤNG CÔNG CỤ KIỂM CHỨNG MÔ HÌNH NUSMV
  Abstract