Login / Signup
Analysis of Mobile Networks' Protocols Based on Abstract State Machine.
Emanuele Covino
Giovanni Pani
Published in:
Logic, Computation and Rigorous Methods (2021)
Keyphrases
</>
state machine
state machines
mobile networks
database