Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M Wintersteiger, Hillel Kugler

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

Original languageEnglish
Title of host publicationComputer Aided Verification
Pages343-357
Number of pages15
DOIs
Publication statusPublished - 2014

Cite this