toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year (down) Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   url
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: