@unpublished{SisLab3739,
            type = {Technical Report},
           title = {Formal Specification and Model Checking of 
Some Variants of Anderson Mutual Exclusion Protocol},
          author = {Thi Hai Yen Vuong},
       publisher = {VNU-UET},
            year = {2019},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3739/}
}