Formal Verification of the On-the-Fly Vehicle Platooning Protocol
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016 - -2016Authors
Mallozzi Piergiuseppe, Sciancalepore Massimo, Pelliccione Patrizio
DOI
https://doi.org/10.1007/978-3-319-45892-2_5BibTex references
@InProceedings{MSP16,
author = "Mallozzi, Piergiuseppe and Sciancalepore, Massimo and Pelliccione, Patrizio",
title = "Formal Verification of the On-the-Fly Vehicle Platooning Protocol",
booktitle = "Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016",
series = "Lecture Notes in Computer Science 9823",
year = "2016",
publisher = "Springer",
url = "http://sisinflab.poliba.it/Publications/2016/MSP16"
}