Verifying the Evolution of Probability Distributions Governed by a DTMC
 |
 |
author = {Kwon, YoungMin and Agha, Gul},
title = {Verifying the Evolution of Probability Distributions Governed by a DTMC},
journal = {IEEE Transactions on Software Engineering},
volume = 37,
number = 1,
month = jan,
year = 2011,
issn = {0098-5589},
pages = {126--141},
doi = {10.1109/TSE.2010.80},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5557891},
acm = {1936543},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
keywords = {Probabilistic model checking, linear temporal logic, Discrete Time Markov Chain, pharmacokinetics}}