Bui, Tuan, Hoai Thang Bui, Van Liem Nguyen, Dinh Tuyen Nguyen, Duy Anh Nguyen, and M. Huan Luong. 2023. “Towards Formal Verification of Smart Grids: An Effective Modelling Approach and Some First Experimentation”. VNUHCM Journal of Engineering and Technology 6 (3), 1924-36. https://doi.org/https://doi.org/10.32508/stdjet.v6i3.1026.