@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 (http://mclab.di.uniroma1.it/publications/show.php?record=112), last updated on Wed, 17 Jul 2013 17:19:23 +0200",
isbn="978-3-642-39175-0",
issn="0302-9743",
doi="10.1007/978-3-642-39176-7_4",
opturl="https://doi.org/10.1007/978-3-642-39176-7_4",
file=":http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2013/112_Alimguzhin_etal2013.pdf:PDF"
}