TY  - RPRT
TI  - Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
AU  - Maryam Kamali
AU  - Sven Linker
AU  - Michael Fisher
PY  - 2018
UR  - https://arxiv.org/abs/1804.06647
ID  - 1804.06647
ER  -