Back to Results
First PageMeta Content
Probabilistic CTL / Temporal logic / Markov chain


Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2
Add to Reading List

Document Date: 2015-12-18 06:55:14


Open Document

File Size: 269,80 KB

Share Result on Facebook