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