A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks.

Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Srgio Vale Aguiar Campos

Browse the full VTC paper archive.