@InProceedings{Alimguzhin_etal2013,
author="Alimguzhin, Vadim
and Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
title="On-the-Fly Control Software Synthesis",
booktitle="Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)",
series="Lecture Notes in Computer Science",
year="2013",
publisher="Springer - Verlag",
volume="7976",
pages="61--80",
optnote="exported from refbase (show.php?record=18), last updated on Thu, 07 Nov 2013 15:27:45 +0100",
issn="978-3-642-39175-0",
doi="10.1007/978-3-642-39176-7_5",
file=":papers/alimguzhin/2013/18\textit{Alimguzhin}etal2013.pdf:PDF"
}