@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="Proceedings 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 (http://mclab.di.uniroma1.it/publications/show.php?record=111), last updated on Thu, 27 Apr 2017 11:35:30 +0200",
isbn="978-3-642-39175-0",
issn="0302-9743",
doi="10.1007/978-3-642-39176-7_5",
opturl="https://doi.org/10.1007/978-3-642-39176-7_5",
file=":http://mclab.di.uniroma1.it/publications/papers/vadimalimghuzin/2013/111_VadimAlimghuzin2013.pdf:PDF"
}