Linear temporal logic for biologists in BMA

Hall, Benjamin; Piterman, N; Fisher, Jasmin

View / Open Files

Accepted version (PDF, 389Kb)

Authors

Hall, Benjamin

Piterman, N

Fisher, Jasmin

Publication Date

2016

Journal 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

Metadata

Show full item record

Citation

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.