1
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2
Những chủ đề:
“...Model checking...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
3
Bỡi Tran, Nhat Hoa
Được phát hành 2023
Những chủ đề:
“...Model checking techniques...”Được phát hành 2023
Thư viện lưu trữ:
Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Liên kết dữ liệuLiên kết dữ liệu