%A Thi Hai Yen Vuong
%T Formal Specification and Model Checking of 
Some Variants of Anderson Mutual Exclusion Protocol
%D 2019
%I VNU-UET
%L SisLab3739