Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione. Formal Verification of the On-the-Fly Vehicle Platooning Protocol. In Ivica Crnkovic, Elena Troubitsyna, editors, Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. Volume 9823 of Lecture Notes in Computer Science, pages 62-75, Springer, 2016. [doi]
Abstract is missing.