A process algebraic mutation framework with application to a vehicle charging protocol
Aziz, Benjamin (2021) A process algebraic mutation framework with application to a vehicle charging protocol. Veh. Commun., 30. p. 100352.
Full text not available from this repository.
Access this via: https://doi.org/10.1016/j.vehcom.2021.100352
| Item Type: | Article |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 08:20 |
| Last Modified: | 13 Dec 2023 08:20 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18835 |
Actions (login required)
 |
Edit Item |