Skip to main content

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti‚ Boyan Yordanov‚ Youssef Hamadi‚ Christoph M. Wintersteiger and Hillel Kugler

Book Title
26th International Conference on Computer Aided Verification (CAV)
Pages
343−357
Publisher
Springer
Series
LNCS
Volume
8559
Year
2014