eprintid: 3739
rev_number: 9
eprint_status: archive
userid: 296
dir: disk0/00/00/37/39
datestamp: 2019-12-09 02:47:49
lastmod: 2019-12-09 02:47:49
status_changed: 2019-12-09 02:47:49
type: monograph
metadata_visibility: show
creators_name: Vuong, Thi Hai Yen
creators_id: yenvth@vnu.edu.vn
title: Formal Specification and Model Checking of 
Some Variants of Anderson Mutual Exclusion Protocol
ispublished: unpub
subjects: IT
divisions: fac_fit
date: 2019
publisher: VNU-UET
full_text_status: restricted
monograph_type: technical_report
citation:   Vuong, Thi Hai Yen  (2019) Formal Specification and Model Checking of Some Variants of Anderson Mutual Exclusion Protocol.  Technical Report. VNU-UET.    (Unpublished)  
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739/1/rev_paper.pdf