@InProceedings{TK08, author={O. Tymchyshyn and M. Kwiatkowska}, title={Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis}, booktitle={Proc. Formal Methods in Systems Biology (FMSB'08)}, year={2008}, editor={}, pages={}, organization={}, publisher={Springer}, series={LNCS}, volume={5054}, address={}, month={}, note={}, key={} }