D. Radu


AuthID: R-00G-Z7P

Publications Requiring Validation

1
TITLE: Formal analysis of an urban road traffic model
AUTHORS: Avram, C; Valente, E; Aştilean, A; Machado, J; Radu, D;
PUBLISHED: 2017, SOURCE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
INDEXED IN: Scopus CrossRef

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service