| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher  |
ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | On-the-Fly Control Software Synthesis | 2013 | Proceedings 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_5 | 61-80 |