Linear Temporal Logic for Biologists in BMA

Thumbnail
View / Open Files
Authors
  Hall, Benjamin
Piterman, Nir
  Fisher, Jasmin
Publication Date
2016-09
Journal Title
14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, Computational Methods in Systems Biology
ISSN
0302-9743
Publisher
Springer
Volume
9859
Pages
348-350
Language
English
Type
Conference Object
This Version
AM
Metadata
Show full item record
Citation
Hall, B., Piterman, N., & Fisher, J. (2016). Linear Temporal Logic for Biologists in BMA. 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, Computational Methods in Systems Biology, 9859 348-350. https://doi.org/10.17863/CAM.4863
Sponsorship
Medical Research Council, Royal Society
Funder references
Medical Research Council (MC_UU_12022/9)
MRC (MC_UU_12022/1_do not transfer?)
MRC ()
Royal Society (Paul Instrument Fund) (UF130039)
Identifiers
This record's DOI: https://doi.org/10.17863/CAM.4863
This record's URL: https://www.repository.cam.ac.uk/handle/1810/260629

Rights
Licence:
http://www.rioxx.net/licenses/all-rights-reserved