Linear Temporal Logic for Biologists in BMA
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Description
Keywords
Journal Title
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2016)
Conference Name
Journal ISSN
0302-9743
1611-3349
1611-3349
Volume Title
9859
Publisher
Springer
Publisher DOI
Rights and licensing
Except where otherwised noted, this item's license is described as All rights reserved
Sponsorship
Medical Research Council (MC_UU_12022/9)
MRC (unknown)
MRC
Royal Society (Paul Instrument Fund) (UF130039)
MRC (unknown)
MRC
Royal Society (Paul Instrument Fund) (UF130039)
Medical Research Council, Royal Society