Probabilistic model checking at the nanoscale: from molecular signalling to molecular walkers
- đ¤ Speaker: Marta Kwiatkowska, University of Oxford, UK đ Website
- đ Date & Time: Thursday 26 June 2014, 16:40 - 17:20
- đ Venue: Cambridge University Computer Lab, William Gates Building, CB3 0FD
Questions? Contact
Hui Xiao
Abstract
Abstract not available
Series This talk is part of the CIBB2014 series.
Included in Lists
- Cambridge Infectious Diseases
- Cambridge University Computer Lab, William Gates Building, CB3 0FD
- CIBB2014
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Marta Kwiatkowska, University of Oxford, UK 
Thursday 26 June 2014, 16:40-17:20