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

Standard

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

Harvard

Paoletti, N, Yordanov, B, Hamadi, Y, Wintersteiger, CM & Kugler, H 2014, Analyzing and Synthesizing Genomic Logic Functions. in Computer Aided Verification. pp. 343-357. https://doi.org/10.1007/978-3-319-08867-9_23

APA

Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M., & Kugler, H. (2014). Analyzing and Synthesizing Genomic Logic Functions. In Computer Aided Verification (pp. 343-357) https://doi.org/10.1007/978-3-319-08867-9_23

Vancouver

Paoletti N, Yordanov B, Hamadi Y, Wintersteiger CM, Kugler H. Analyzing and Synthesizing Genomic Logic Functions. In Computer Aided Verification. 2014. p. 343-357 https://doi.org/10.1007/978-3-319-08867-9_23

Author

Paoletti, Nicola ; Yordanov, Boyan ; Hamadi, Youssef ; Wintersteiger, Christoph M ; Kugler, Hillel. / Analyzing and Synthesizing Genomic Logic Functions. Computer Aided Verification. 2014. pp. 343-357

BibTeX

@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",

}

RIS

TY - GEN

T1 - Analyzing and Synthesizing Genomic Logic Functions

AU - Paoletti, Nicola

AU - Yordanov, Boyan

AU - Hamadi, Youssef

AU - Wintersteiger, Christoph M

AU - Kugler, Hillel

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08867-9_23

DO - 10.1007/978-3-319-08867-9_23

M3 - Conference contribution

SP - 343

EP - 357

BT - Computer Aided Verification

ER -