Research output per year
Research output per year
Search results
-
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
-
2010
Formal Methods for Biochemical Signalling Pathways
Calder, M., Gilmore, S., Hillston, J. & Vyshemirsky, V., 2010, Formal Methods: State of the Art and New Directions. Boca, P., Bowen, J. P. & Siddiqi, J. (eds.). Springer, p. 185-215 31 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter