Proving stabilization of biological systems

Cook, B.; Fisher, J.; Krepska, E.; Piterman, N.

Proving stabilization of biological systems (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{CFKP11,
  author = 	 {B. Cook and J. Fisher and E. Krepska and N. Piterman},
  title = 	 {Proving stabilization of biological systems},
  booktitle = {12th International Conference on Verification, Model Checking, and Abstract Interpretation},
  pages = 	 {134-149},
  year = 	 {2011},
  volume = 	 {6538},
  series = 	 lncs,
  publisher = springer,
  pdf = {2011/CFKP11.pdf},
  url = {2011/CFKP11.html},
  keywords = {Executable Biology,Model Checking},
}