Automated analysis of consensus protocol in specifcation of multi-agents coordination
Dữ liệu và nguồn
-
1166-1-2274-1-10-20160526.pdf PDF
VNU Journal of Science, Natural Sciences and Technology 28 (2012) 1-10
Thông tin khác
Miền | Giá trị |
---|---|
Nguồn | http://repository.vnu.edu.vn |
Tác giả | Trịnh Thanh Bình, Trương Ninh Thuận, Nguyễn Việt Hà |
Người bảo dưỡng | Đại học Quốc gia Hà Nội |
Last Updated | 16-08-2018 07:27:22 |
Được tạo ra | 05-04-2018 09:21:53 |