VNU-UET Repository

Formal Specification and Model Checking of Some Variants of Anderson Mutual Exclusion Protocol

Vuong, Thi Hai Yen (2019) Formal Specification and Model Checking of Some Variants of Anderson Mutual Exclusion Protocol. Technical Report. VNU-UET. (Unpublished)

[img] 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 View Item