PT Journal
AU Mari, F
   Melatti, I
   Salvo, I
   Tronci, E
TI Model Based Synthesis of Control Software from System Level Formal Specifications
SO ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
JI ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
PY 2014
BP Article 6
VL 23
IS 1
DI 10.1145/2559934
ER