Synthesizing Biological Theories
Abstract elided by the publisher.
Related papers
- An Analysis for Proving Temporal Properties of Biological Systems APLAS 2006
- Proving Stabilization of Biological Systems VMCAI 2011
- Finding Instability in Biological Models CAV 2014
- Bma: Visual Tool for Modeling and Analyzing Biological Networks CAV 2012
- Synthesis of biological models from mutation experiments POPL 2013
- Educational Pearl: Biological sequence similarity JFP 2006
- Biological computation (keynote) CGO 2018
- Biological realms in computer science Onward! 2011