TY  - UNPB
ID  - SisLab3739
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739/
A1  - Vuong, Thi Hai Yen
Y1  - 2019///
PB  - VNU-UET
TI  - Formal Specification and Model Checking of 
Some Variants of Anderson Mutual Exclusion Protocol
M1  - technical_report
AV  - restricted
ER  -