Vuong, Thi Hai Yen (2019) Formal Specification and Model Checking of Some Variants of Anderson Mutual Exclusion Protocol. Technical Report. VNU-UET. (Unpublished)