Mariam Nour

According to our database, Mariam Nour authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Towards formalization and monitoring of microscopic traffic parameters using temporal logic.

Mariam Nour, Mohamed H. Zaki

CoRR, 2021