“Metode formale pentru modelarea, analiza și optimizarea dinamică a traficului rutier”, in Smart Urban Development - Dezvoltare Urbană Inteligentă, Book Series, 2025, pp. 171–174. Accessed: Jun. 20, 2025. [Online]. Available: https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/61