First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 269,80 KBShare Document on Facebook |