Metode formale pentru modelarea, analiza și optimizarea dinamică a traficului rutier. (2025). In Smart Urban Development - Dezvoltare Urbană Inteligentă (pp. 171-174). Book Series. https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/61