@InProceedings{Watanabe2004approximate, author= {Johannes Schneider and Osamu Watanabe}, title= {{An approximate analysis of Markov processes and its application to analysis of randomized algorithms}}, booktitle= {{Proc. COMP Workshop, IEICE COMP}}, month= {May}, year= {2004}, }