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 Edit Item