Fingerprint
Dive into the research topics of 'An SMT-Based Framework for Reasoning About Discrete Biological Models'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
An SMT-Based Framework for Reasoning About Discrete Biological Models
Boyan Yordanov, Sara Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review