TY  - JOUR
AU  - Mari, F.
AU  - Melatti, I.
AU  - Salvo, I.
AU  - Tronci, E.
PY  - 2014//
TI  - Model Based Synthesis of Control Software from System Level Formal Specifications
JO  - Acm Transactions On Software Engineering And Methodology
SP  - 6
VL  - 23
IS  - 1
PB  - Acm
SN  - 1049-331x
UR  - http://dl.acm.org/citation.cfm?id=2559934&CFID=294047825&CFTOKEN=78075392
L1  - papers/mari/2014/40_Mari_etal2014.pdf
UR  - http://dx.doi.org/10.1145/2559934
N1  - exported from refbase (show.php?record=40), last updated on Fri, 04 Jul 2014 16:33:31 +0200
ID  - Mari_etal2014
ER  -