%0 Journal Article
%T Model Based Synthesis of Control Software from System Level Formal Specifications
%A Mari, F.
%A Melatti, I.
%A Salvo, I.
%A Tronci, E.
%J Acm Transactions On Software Engineering And Methodology
%D 2014
%V 23
%N 1
%I Acm
%@ 1049-331x
%F Mari_etal2014
%O exported from refbase (show.php?record=40), last updated on Fri, 04 Jul 2014 16:33:31 +0200
%U http://dl.acm.org/citation.cfm?id=2559934&CFID=294047825&CFTOKEN=78075392
%U papers/mari/2014/40_Mari_etal2014.pdf
%U http://dx.doi.org/10.1145/2559934
%P 6