%0 Journal Article
%T Towards formalization and monitoring of microscopic traffic parameters using temporal logic
%A Nour, Mariam
%A Zaki, Mohamed H.
%J Computing Research Repository
%V 2023
%N 2110
%D 2021-10-12
%~ DeepDyve