An SMT-Based Framework for Reasoning About Discrete Biological Models
- Boyan Yordanov
- , Sara Jane Dunn
- , Colin Gravill
- , Hillel Kugler
- , Christoph M. Wintersteiger
- Scientific Technologies
- Microsoft USA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2
Scopus
citations