Linear temporal logic for biologists in BMA
View / Open Files
Publication Date
2016Journal Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN
0302-9743
ISBN
9783319451763
Publisher
Springer
Volume
9859
Pages
348-350
Language
English
Type
Conference Object
This Version
AM
Metadata
Show full item recordCitation
Hall, B., Piterman, N., & Fisher, J. (2016). Linear temporal logic for biologists in BMA. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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 (unknown)
MRC
Royal Society (Paul Instrument Fund) (UF130039)
Identifiers
External 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
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.