Linear temporal logic for biologists in BMA

Show simple item record

dc.contributor.authorHall, Benjamin
dc.contributor.authorPiterman, N
dc.contributor.authorFisher, Jasmin
dc.date.accessioned2016-10-04T11:07:15Z
dc.date.available2016-10-04T11:07:15Z
dc.date.issued2016
dc.identifier.isbn9783319451763
dc.identifier.issn0302-9743
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/260629
dc.description.sponsorshipMedical Research Council, Royal Society
dc.languageEnglish
dc.language.isoen
dc.publisherSpringer
dc.titleLinear temporal logic for biologists in BMA
dc.typeConference Object
dc.description.versionThis is the author accepted manuscript. The final version is available from Springer via http://www.springer.com/in/book/9783319451763
prism.endingPage350
prism.publicationDate2016
prism.publicationNameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
prism.startingPage348
prism.volume9859
dc.identifier.doi10.17863/CAM.4863
dcterms.dateAccepted2016-07-05
rioxxterms.versionofrecord10.17863/CAM.4863
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserved
rioxxterms.licenseref.startdate2016-09
dc.contributor.orcidHall, Benjamin [0000-0003-0355-2946]
dc.contributor.orcidFisher, Jasmin [0000-0003-4477-9047]
dc.identifier.eissn1611-3349
dc.publisher.urlhttp://www.springer.com/in/book/9783319451763
rioxxterms.typeConference Paper/Proceeding/Abstract
pubs.funder-project-idMedical Research Council (MC_UU_12022/9)
pubs.funder-project-idMRC (unknown)
pubs.funder-project-idMRC
pubs.funder-project-idRoyal Society (Paul Instrument Fund) (UF130039)


Files in this item

Thumbnail
Name:
Hall_et_al-2016-Computational_ ...
Size:
389Kb
Format:
PDF
Description:
Accepted version
View / Open Files

This item appears in the following Collection(s)

Show simple item record