Document is current

Any future updates will be listed below

Towards formal verification of smart grids: An effective modelling approach and some first experimentation

Crossref DOI link: https://doi.org/10.32508/stdjet.v6i3.1026

Published Online: 2023

Published Print: 2023

Update policy: https://doi.org/10.32508/stdjet.crossmark

About CrossMark