Verifying the evolution of probability distributions governed by a dtmc
By
BibTeX
@article{journals/tse/KwonA11, author = "Kwon, YoungMin and Agha, Gul A.", title = "Verifying the Evolution of Probability Distributions Governed by a DTMC", ee = "http://doi.ieeecomputersociety.org/10.1109/TSE.2010.80", journal = "IEEE Trans. Software Eng", keywords = "formal methods", number = "1", pages = "126-141", volume = "37", year = "2011", }