Repository logo
 

Linear temporal logic for biologists in BMA

Accepted version
Peer-reviewed

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

Change log

Authors

Hall, BA 
Piterman, N 

Description

Keywords

Journal Title

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

Conference Name

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