List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI (up) Volume Pages
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2013 CoRR, Technical Report abs/1107.5638