| 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 | 2013 | Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) | Springer - Verlag | 0302-9743 | 978-3-642-39175-0 | 10.1007/978-3-642-39176-7_4 | 43-60 |