Z34Bio: An SMT-based framework for Analyzing Biological Computation

Boyan Yordanov, C. M Wintersteiger, Y Hamadi, K. Hillel

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

Original language	American English
Title of host publication	Satisfiability Modulo Theories (SMT'13)
State	Published - 2013

Place of conference:Finland

Cite this

@inproceedings{a73e1829baed45e2ba51a1cea6d58591,

title = "Z34Bio: An SMT-based framework for Analyzing Biological Computation",

author = "Boyan Yordanov and Wintersteiger, {C. M} and Y Hamadi and K. Hillel",

note = "Place of conference:Finland",

year = "2013",

language = "American English",

booktitle = "Satisfiability Modulo Theories (SMT'13)",

}

TY - GEN

T1 - Z34Bio: An SMT-based framework for Analyzing Biological Computation

AU - Yordanov, Boyan

AU - Wintersteiger, C. M

AU - Hamadi, Y

AU - Hillel, K.

N1 - Place of conference:Finland

PY - 2013

Y1 - 2013

UR - https://scholar.google.co.il/scholar?q=Z34Bio%3A+An+SMT-based+framework+for+Analyzing+Biological+Computation&btnG=&hl=en&as_sdt=0%2C5

M3 - Conference contribution

BT - Satisfiability Modulo Theories (SMT'13)

ER -