A Tool for the Analysis of MANET Routing Protocols Based on Abstract State Machines
Crossref DOI link: https://doi.org/10.1007/978-3-030-71017-0_34
Published Online: 2021-03-02
Published Print: 2021
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bianchi, Alessandro
Covino, Emanuele
Pani, Giovanni
Pizzutilo, Sebastiano
Text and Data Mining valid from 2021-01-01
Version of Record valid from 2021-01-01
Chapter History
First Online: 2 March 2021