@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="Conference on Decision and Control, CDC",
year="2012",
publisher="IEEE",
optnote="To Appear. A preliminary version can be found at http://arxiv.org/abs/1207.4098",
optnote="exported from refbase (show.php?record=13), last updated on Thu, 07 Nov 2013 15:10:27 +0100",
file=":papers/alimguzhin/2012/13\textit{Alimguzhin}etal2012.pdf:PDF"
}