Back to Results
First PageMeta Content
Statistics / Model checking / PRISM model checker / PAT / Formal verification / Markov chain / Scientific modelling / Stochastic / SPIN model checker / Model checkers / Theoretical computer science / Applied mathematics


Design and Analysis of
 DNA Strand Displacement Devices
 using Probabilistic Model Checking
 Dave Parker
 School of Computer Science, University of Birmingham Joint work with:
Add to Reading List

Document Date: 2012-06-15 10:32:21

Open Document

File Size: 1,16 MB

Share Result on Facebook

City

Birmingham / /

Facility

Oxford University / /

IndustryTerm

biological systems / e.g. biological/chemical reaction rates / manufacturing / computing / sensor network / /

Organization

School of Computer Science / Oxford University / University of Birmingham Joint / Andrew Phillips Centre for Systems Biology / /

Person

Aim / Marta Kwiatkowska / Dave Parker / Matthew Lakin / Luca Cardelli / /

Position

using Probabilistic Model / Major / model / controller / /

ProvinceOrState

Alberta / /

URL

http /

SocialTag