<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol"^^ . "2019" . . . "VNU-UET"^^ . . . . . . . "Thi Hai Yen"^^ . "Vuong"^^ . "Thi Hai Yen Vuong"^^ . . . . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol (PDF)"^^ . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol (Other)"^^ . . . . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol (Other)"^^ . . . . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol (Other)"^^ . . . . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol (Other)"^^ . . . . . . "Formal Specification and Model Checking of \r\nSome Variants of Anderson Mutual Exclusion Protocol (Other)"^^ . . . . . "HTML Summary of #3739 \n\nFormal Specification and Model Checking of \nSome Variants of Anderson Mutual Exclusion Protocol\n\n" . "text/html" . . . "Information Technology (IT)"@en . .