%0 Conference Proceedings %T A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software %A Alimguzhin, Vadim %A Mari, Federico %A Melatti, Igor %A Salvo, Ivano %A Tronci, Enrico %S Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) %S Lecture Notes in Computer Science %D 2013 %V 7976 %I Springer - Verlag %@ 0302-9743 %@ 978-3-642-39175-0 %F Alimguzhin_etal2013 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=112), last updated on Wed, 17 Jul 2013 17:19:23 +0200 %R 10.1007/978-3-642-39176-7_4 %U http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2013/112_Alimguzhin_etal2013.pdf %U https://doi.org/10.1007/978-3-642-39176-7_4 %P 43-60