%0 Journal Article
%T Toward Formalization and Monitoring of Microscopic Traffic Parameters Using Temporal Logic
%A Nour, Mariam
%A Zaki, Mohamed H.
%J Transportation Research Record
%V 2677
%N 1
%P 625-638
%@ 0361-1981
%D 2023-01-01
%I SAGE Publications
%~ DeepDyve