Home | << 1 >> |
Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
---|---|---|---|---|---|---|---|---|---|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems | 2012 | CoRR, Technical Report | abs/1207.4098 |