@InProceedings{Alimguzhin_etal2013,
author="Alimguzhin, Vadim
and Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
title="A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software",
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="43--60",
optnote="exported from refbase (show.php?record=19), last updated on Thu, 07 Nov 2013 15:28:53 +0100",
issn="978-3-642-39175-0",
doi="10.1007/978-3-642-39176-7_4",
file=":papers/alimguzhin/2013/19\textit{Alimguzhin}etal2013.pdf:PDF"
}