Third Case Study: An Electric Vehicle Charging Protocol
Aziz, Benjamin and Aziz, Benjamin (2022) Third Case Study: An Electric Vehicle Charging Protocol. Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols. pp. 87-108.
Full text not available from this repository.Item Type: | Article |
---|---|
Depositing User: | RED Unit Admin |
Date Deposited: | 18 Dec 2023 13:26 |
Last Modified: | 18 Dec 2023 13:26 |
URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/19018 |
Actions (login required)
Edit Item |