toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links (up)
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2014 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY ACM 1049-331X 10.1145/2559934 23 Article 6 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: