|
|
@ARTICLE{Colombo2017a,
author={Alessandro Colombo, Gabriel Rodrigues de Campos , Fabio Della Rossa},
journal={IEEE Transactions on Automatic Control},
title={Control of a city road network: distributed exact verification of traffic safety},
year={2017},
volume={62},
number={10},
pages={4933-4948} }
|
|
|