TY  - CONF
AU  - Alimguzhin, Vadim
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
PY  - 2013//
TI  - A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
BT  - Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)
T3  - Lecture Notes in Computer Science
SP  - 43
EP  - 60
VL  - 7976
PB  - Springer - Verlag
SN  - 978-3-642-39175-0
L1  - papers/alimguzhin/2013/19_Alimguzhin_etal2013.pdf
UR  - http://dx.doi.org/10.1007/978-3-642-39176-7_4
N1  - exported from refbase (show.php?record=19), last updated on Thu, 07 Nov 2013 15:28:53 +0100
ID  - Alimguzhin_etal2013
ER  -