Persistent URL of this record https://hdl.handle.net/1887/85574
Documents
-
- Download
- IEEE_Access_7_2019_112015
- Publisher's Version
-
open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Model Checking Longitudinal Control in Vehicle Platoon Systems
- All authors
- Peng, C.; Bonsangue, M.M.; Xu, Z.W.
- Date
- 2019-08-14
- Journal
- IEEE Access
- Volume
- 7
- Pages
- 112015 - 112025