Bringing LTL Model Checking to Biologists (2017)
Attributed to:
Modelling of tissue level carcinogenesis through hybrid, biophysical, and executable approaches
funded by
MRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.17863/cam.8964
Publication URI: https://www.repository.cam.ac.uk/handle/1810/263611
Type: Other