Steffen Peter, Tony Givargis. Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories. ACM Trans. Design Autom. Electr. Syst., 20(4):49, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.