A process algebraic mutation framework with application to a vehicle charging protocol

Benjamin Aziz. A process algebraic mutation framework with application to a vehicle charging protocol. Vehicular Communications, 30:100352, 2021. [doi]

Abstract

Abstract is missing.