Finding Instability in Biological Models

Cook, B.; Fisher, J.; Hall, B.A.; Ishtiaq, S.; Juniwal, G.; Piterman, N.

Finding Instability in Biological Models (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{CFHIJP14,
  author = {B. Cook and J. Fisher and B.A. Hall and S. Ishtiaq and G. Juniwal and N. Piterman},
  title = {Finding Instability in Biological Models},
  booktitle = {26th International Conference on Computer Aided Verification},
  pages = {358--372},
  year = {2014},
  volume = {8559},
  address = {Vienna, Austria},
  publisher = springer,
  series = lncs,
  keywords = {Executable Biology},
  pdf = {2014/BDPU14.pdf},
}