Proving Stabilization of Biological Systems
No abstract available.
DOI 10.1007/978-3-642-18275-4_11
Related papers
- An Analysis for Proving Temporal Properties of Biological Systems APLAS 2006
- Bringing LTL Model Checking to Biologists VMCAI 2017
- An Alternative Solution to a Problem on Self-Stabilization TOPLAS 1993
- Uniform Self-Stabilizing Rings TOPLAS 1989
- Biological realms in computer science Onward! 2011
- Biological computation (keynote) CGO 2018
- Type stability in Julia: avoiding performance pathologies in JIT compilation OOPSLA 2021
- Synthesizing Biological Theories CAV 2011