Valente, E., Avram, C., Machado, J., & Astilean, A. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods. Wiley.
Chicago Style (17th ed.) CitationValente, Eduardo, Camelia Avram, José Machado, and Adina Astilean. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods. Wiley.
MLA (9th ed.) CitationValente, Eduardo, et al. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods. Wiley.
Warning: These citations may not always be 100% accurate.