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