Login / Signup
Constrained Synthesis from Component Libraries.
Antonio Iannopollo
Stavros Tripakis
Alberto L. Sangiovanni-Vincentelli
Published in:
FACS (2016)
Keyphrases
</>
digital libraries
program synthesis
data sets
multimedia
multi agent systems