Quantitative model verification in VANET based on interval probabilistic timed automata.

Qiang Li, Xiaoyan Wang, Shufen Liu

Browse the full CSCWD paper archive.