Vashti Galpin

Filter

2012
Formal methods for checking the consistency of biological models
Clark, A., Galpin, V., Gilmore, S., Guerriero, M. L. & Hillston, J., 2012, Advances in Systems Biology. Goryanin, I. I. & Goryachev, A. B. (eds.). Springer, Vol. 736. p. 461-475 15 p. (Advances in Experimental Medicine and Biology).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Research output