@InProceedings{Alimguzhin_etal2012,
author="Alimguzhin, Vadim
and Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
title="Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems",
booktitle="Proceedings of the 51th IEEE Conference on Decision and                Control, CDC 2012, December 10-13, 2012, Maui, HI, USA",
year="2012",
publisher="IEEE",
pages="6120--6125",
optnote="Techreport version can be found at http://arxiv.org/abs/1207.4098",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=96), last updated on Wed, 20 Feb 2013 15:45:56 +0100",
isbn="978-1-4673-2065-8",
doi="10.1109/CDC.2012.6426260",
opturl="https://doi.org/10.1109/CDC.2012.6426260",
file=":http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2012/96_Alimguzhin_etal2012.pdf:PDF"
}