Bounded Asynchrony for Modeling Cell-Cell Interactions

Bounded Asynchrony for Modeling Cell-Cell Interactions. Fisher, J., Henzinger, T., Mateescu, M., & Piterman, N. In 1st Workshop on Formal Methods in Systems Biology, volume 5054, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 17-32, 2008. © Springer-Verlag.

Paper bibtex

@InProceedings{FHMP08,
  author = 	 {J. Fisher and T.A. Henzinger and M. Mateescu and N. Piterman},
  title = 	 {Bounded Asynchrony for Modeling Cell-Cell Interactions},
  booktitle = {1st Workshop on Formal Methods in Systems Biology},
  pages = 	 {17-32},
  year = 	 {2008},
  volume = 	 {5054},
  series = 	 {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},
  publisher = {&copy; Springer-Verlag},
  url_Paper = {2008/FHMP08.pdf},
  keywords = {Executable Biology,Modelling},
}

Downloads: 0