Linear temporal logic for biologists in BMA

Linear temporal logic for biologists in BMA

Accepted version

Repository URI

https://www.repository.cam.ac.uk/handle/1810/260629

Repository DOI

https://doi.org/10.17863/CAM.4863

Files

Accepted version (389.95 KB)

Type

Conference Object

Authors

Hall, BA

Piterman, N

Fisher, Jasmin

https://orcid.org/0000-0003-4477-9047

Journal Title

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal ISSN

0302-9743
1611-3349

Volume Title

9859

Publisher

Springer

Publisher DOI

https://doi.org/10.17863/CAM.4863

Rights

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

Sponsorship

Medical Research Council (MC_UU_12022/9)
MRC (unknown)
MRC
Royal Society (Paul Instrument Fund) (UF130039)

Medical Research Council, Royal Society

Collections

Scholarly Works - MRC Cancer Unit
Symplectic mapped items for data match