TY - RPRT TI - Enforcing Timing Properties in Motorway Traffic AU - Christopher Bischopink PY - 2023 DO - 10.4204/eptcs.395.9 UR - https://arxiv.org/abs/2311.09785 ID - 2311.09785 ER -