D. Radu
AuthID: R-00G-Z7P
1
TÃTULO: Formal analysis of an urban road traffic model
AUTORES: Avram, C; Valente, E; Aştilean, A; Machado, J; Radu, D;
PUBLICAÇÃO: 2017, FONTE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
AUTORES: Avram, C; Valente, E; Aştilean, A; Machado, J; Radu, D;
PUBLICAÇÃO: 2017, FONTE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef