TY  - CONF
AU  - Alimguzhin, Vadim
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
PY  - 2013
DA  - 2013//
TI  - A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
T2  - International SPIN Symposium on Model Checking of 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  - 0302-9743
SN  - 978-3-642-39175-0
L1  - http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2013/112_Alimguzhin_etal2013.pdf
UR  - https://doi.org/10.1007/978-3-642-39176-7_4
DO  - 10.1007/978-3-642-39176-7_4
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=112), last updated on Wed, 17 Jul 2013 17:19:23 +0200
ID  - Alimguzhin_etal2013
ER  -