D. Radu
AuthID: R-00G-Z7P
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
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
Scopus CrossRef