Login / Signup

Constrained Synthesis from Component Libraries.

Antonio IannopolloStavros TripakisAlberto L. Sangiovanni-Vincentelli
Published in: FACS (2016)
Keyphrases
  • digital libraries
  • program synthesis
  • data sets
  • multimedia
  • multi agent systems