Linear temporal logic for biologists in BMA
dc.contributor.author | Hall, Benjamin | |
dc.contributor.author | Piterman, N | |
dc.contributor.author | Fisher, Jasmin | |
dc.date.accessioned | 2016-10-04T11:07:15Z | |
dc.date.available | 2016-10-04T11:07:15Z | |
dc.date.issued | 2016 | |
dc.identifier.isbn | 9783319451763 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | https://www.repository.cam.ac.uk/handle/1810/260629 | |
dc.description.sponsorship | Medical Research Council, Royal Society | |
dc.language | English | |
dc.language.iso | en | |
dc.publisher | Springer | |
dc.title | Linear temporal logic for biologists in BMA | |
dc.type | Conference Object | |
dc.description.version | This is the author accepted manuscript. The final version is available from Springer via http://www.springer.com/in/book/9783319451763 | |
prism.endingPage | 350 | |
prism.publicationDate | 2016 | |
prism.publicationName | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
prism.startingPage | 348 | |
prism.volume | 9859 | |
dc.identifier.doi | 10.17863/CAM.4863 | |
dcterms.dateAccepted | 2016-07-05 | |
rioxxterms.versionofrecord | 10.17863/CAM.4863 | |
rioxxterms.version | AM | |
rioxxterms.licenseref.uri | http://www.rioxx.net/licenses/all-rights-reserved | |
rioxxterms.licenseref.startdate | 2016-09 | |
dc.contributor.orcid | Hall, Benjamin [0000-0003-0355-2946] | |
dc.contributor.orcid | Fisher, Jasmin [0000-0003-4477-9047] | |
dc.identifier.eissn | 1611-3349 | |
dc.publisher.url | http://www.springer.com/in/book/9783319451763 | |
rioxxterms.type | Conference Paper/Proceeding/Abstract | |
pubs.funder-project-id | Medical Research Council (MC_UU_12022/9) | |
pubs.funder-project-id | MRC (unknown) | |
pubs.funder-project-id | MRC | |
pubs.funder-project-id | Royal Society (Paul Instrument Fund) (UF130039) |
Files in this item
This item appears in the following Collection(s)
-
Scholarly Works - MRC Cancer Unit
-
Symplectic mapped items for data match
This collection contains all articles, datasets and conference objects to be harvested