relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739/
title: Formal Specification and Model Checking of   Some Variants of Anderson Mutual Exclusion Protocol
creator: Vuong, Thi Hai Yen
subject: Information Technology (IT)
publisher: VNU-UET
date: 2019
type: Technical Report
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739/1/rev_paper.pdf
identifier:   Vuong, Thi Hai Yen  (2019) Formal Specification and Model Checking of Some Variants of Anderson Mutual Exclusion Protocol.  Technical Report. VNU-UET.    (Unpublished)