![Probabilistic CTL / Temporal logic / Markov chain Probabilistic CTL / Temporal logic / Markov chain](https://www.pdfsearch.io/img/762591f7df012f29560aba48a1db5ce7.jpg) Date: 2015-12-18 06:55:14Probabilistic 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 2Add to Reading ListSource URL: pages.di.unipi.itDownload Document from Source Website File Size: 269,80 KBShare Document on Facebook
|