Proving Stabilization of Biological Systems
Cook B., Fisher J., Krepska E., and Piterman N.
January 2011
 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
| Type | Proceedings |
Related People
Share
