Proving Stabilization of Biological Systems

Cook B, Fisher J, Krepska E, and Piterman N

Details

Publication typeProceedings
Published in12th International Conference on Verification, Model Checking, and Abstract Interpretation Conference VMCAI'11. R. Jhala and D. Schmidt (Eds.), LNCS vol. 6538, pp 134-149
PublisherSpringer Verlag
> Publications > Proving Stabilization of Biological Systems