@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @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 = lncs, publisher = springer, pdf = {2008/FHMP08.pdf}, url = {2008/FHMP08.html}, keywords = {Executable Biology,Modelling}, }