%0 Report
%9 Technical Report
%A Vuong, Thi Hai Yen
%D 2019
%F SisLab:3739
%T Formal Specification and Model Checking of   Some Variants of Anderson Mutual Exclusion Protocol
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739/