| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
Author  |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | ||||
| Title | A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software | Type | |||
| Year | 2013 | Publication | Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) | Abbreviated Journal | |
| Volume | Issue | Pages | 43-60 | ||
| Keywords | |||||
| Abstract | |||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | Springer - Verlag | Place of Publication | Editor | ||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Lecture Notes in Computer Science | Abbreviated Series Title | ||
| Series Volume | 7976 | Series Issue | Edition | ||
| ISSN | 978-3-642-39175-0 | ISBN | Medium | ||
| Area | Expedition | Conference | |||
| Notes | Approved | ||||
| Call Number | UNIROMA1 @ davi @ Alimguzhin_etal2013_2 | Serial | 19 | ||
| Permanent link to this record | |||||