Analyzing and Synthesizing Genomic Logic Functions. / Paoletti, Nicola; Yordanov, Boyan; Hamadi, Youssef; Wintersteiger, Christoph M; Kugler, Hillel.

Computer Aided Verification. 2014. p. 343-357.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
  • Nicola Paoletti
  • Boyan Yordanov
  • Youssef Hamadi
  • Christoph M Wintersteiger
  • Hillel Kugler
Original languageEnglish
Title of host publicationComputer Aided Verification
Pages343-357
Number of pages15
DOIs
Publication statusPublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140610