| Home | << 1 >> |
|
Author  |
Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software | 2012 | CoRR, Technical Report | abs/1210.2276 |