@InProceedings{GHLP05,
author={G. Guirado and  T. H\'erault and R. Lassaigne and S. Peyronnet},
title={Distribution, approximation and probabilistic model checking},
booktitle={Proc. 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05)},
year={2005},

editor={},
pages={19-30},
organization={},
publisher={Elsevier},
series={Electronic Notes in Theoretical Computer Science},
volume={135(2)},
address={},
month={},
note={},
key={}
}