Oxford logo

Biology-Related Publications

18 publications:

2015

2014

  • [KT14] M. Kwiatkowska and C. Thachuk. Probabilistic Model Checking for Biology. In Software Safety and Security, volume 36 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 165-189, IOS Press. 2014. [pdf] [bib]

2013

2012

2011

2010

2009

2008

2006

QAV:

Home

People

Projects

Publications