@ARTICLE {2067,
author={R. Chadha and L. Cruz-Filipe and P. Mateus and A. Sernadas},
doi={10.1016/j.tcs.2007.02.040},
journal={Theoretical Computer Science},
title={Reasoning about probabilistic sequential programs},
year={2007},
month={February},
volume={379},
number={1-2},
pages={142-165},
ISSN={0304-3975}
}
Create and download bib file