Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas. Reasoning about probabilistic sequential programs. Theoretical Computer Science, 379(1-2):142-165, 2007. [doi]
@article{ChadhaCMS07, title = {Reasoning about probabilistic sequential programs}, author = {Rohit Chadha and Luís Cruz-Filipe and Paulo Mateus and Amílcar Sernadas}, year = {2007}, doi = {10.1016/j.tcs.2007.02.040}, url = {http://dx.doi.org/10.1016/j.tcs.2007.02.040}, researchr = {https://researchr.org/publication/ChadhaCMS07}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {379}, number = {1-2}, pages = {142-165}, }