?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=https%3A%2F%2Feprints.uet.vnu.edu.vn%2Feprints%2Fid%2Feprint%2F3739%2F&rft.title=Formal+Specification+and+Model+Checking+of+%0D%0ASome+Variants+of+Anderson+Mutual+Exclusion+Protocol&rft.creator=Vuong%2C+Thi+Hai+Yen&rft.subject=Information+Technology+(IT)&rft.publisher=VNU-UET&rft.date=2019&rft.type=Technical+Report&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=https%3A%2F%2Feprints.uet.vnu.edu.vn%2Feprints%2Fid%2Feprint%2F3739%2F1%2Frev_paper.pdf&rft.identifier=++Vuong%2C+Thi+Hai+Yen++(2019)+Formal+Specification+and+Model+Checking+of+Some+Variants+of+Anderson+Mutual+Exclusion+Protocol.++Technical+Report.+VNU-UET.++++(Unpublished)++