1.
Bui T, Bui HT, Nguyen VL, Nguyen DT, Nguyen DA, Luong MH. Towards formal verification of smart grids: An effective modelling approach and some first experimentation. VNUHCM Journal of Engineering and Technology [Internet]. 30Sep.2023 [cited 24Jun.2024];6(3):1924-36. Available from: https://stdjet.scienceandtechnology.com.vn/index.php/stdjet/article/view/1026