Analyzing and Synthesizing Genomic Logic Functions

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

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

Original language	English
Title of host publication	Computer Aided Verification
Pages	343-357
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-319-08867-9_23
Publication status	Published - 2014

Access to Document

@inproceedings{6024bd22339e49a29ffd959e8bad3958,

title = "Analyzing and Synthesizing Genomic Logic Functions",

author = "Nicola Paoletti and Boyan Yordanov and Youssef Hamadi and Wintersteiger, {Christoph M} and Hillel Kugler",

year = "2014",

doi = "10.1007/978-3-319-08867-9_23",

language = "English",

pages = "343--357",

booktitle = "Computer Aided Verification",

}