Vuong, Thi Hai Yen (2019) Formal Specification and Model Checking of Some Variants of Anderson Mutual Exclusion Protocol. Technical Report. VNU-UET. (Unpublished)
![[img]](https://eprints.uet.vnu.edu.vn/eprints/style/images/fileicons/application_pdf.png) |
PDF
Restricted to Registered users only Download (416kB) |
| Item Type: | Technical Report (Technical Report) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Vương Th� Hải Yến |
| Date Deposited: | 09 Dec 2019 02:47 |
| Last Modified: | 09 Dec 2019 02:47 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739 |
Actions (login required)
 |
View Item |
