Proving Stabilization of Biological Systems

VMCAI_11.pdf
PDF file

In  12th International Conference on Verification, Model Checking, and Abstract Interpretation Conference VMCAI'11. R. Jhala and D. Schmidt (Eds.), LNCS vol. 6538, pp 134-149

Publisher  Springer Verlag

Details

TypeProceedings
> Publications > Proving Stabilization of Biological Systems