“Metode Formale Pentru Modelarea, Analiza și Optimizarea Dinamică a Traficului Rutier”. In Smart Urban Development - Dezvoltare Urbană Inteligentă, 171–174. Smart Governance. Book Series, 2025. Accessed June 20, 2025. https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/61.