Skip to main navigation Skip to search Skip to main content

Synthesis from component libraries with costs

Research output: Contribution to journal › Article › peer-review

  • 1 Conference contribution

Search results

  • 2014

    Synthesis from component libraries with costs

    Avni, G. & Kupferman, O., 2014, Concurrency Theory - 25th International Conference, CONCUR 2014, Proceedings. Springer Verlag, p. 156-172 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8704 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review