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