PT Unknown
AU Alimguzhin, V
   Mari, F
   Melatti, I
   Salvo, I
   Tronci, E
TI A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
SE Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)
PY 2013
BP 43
EP 60
VL 7976
DI 10.1007/978-3-642-39176-7_4
ER