俄克拉荷马州提姆希欣;玛尔塔·奎亚特科夫斯卡 结合细胞内和细胞间动力学研究肠内稳态。 （英语） Zbl 1375.92015年 Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学讲义，63-76（2008）。MSC公司：92C30型 92立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛O.Tymchyshyn｝和\textit｛M.Kwiatkowska｝，Lect。注释计算。科学。5054、63--76（2008年；Zbl 1375.92015年） 全文： 内政部
希思，约翰;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 复杂生物路径的概率模型检查。 （英语） Zbl 1133.68043号 西奥。计算。科学。 391，第3号，239-257（2008）.MSC公司：60年第68季度 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heath}等人，Theor。计算。科学。391，第3号，239--257（2008；Zbl 1133.68043） 全文： 内政部 链接