@InProceedings{DFH+04,
author={M. Duflot and L. Fribourg and T. H\'erault and R. Lassaigne and F. Magniette and S. Messika and S. Peyronnet and C. Picaronny},
title={Probabilistic Model Checking of the {CSMA/CD} protocol using {PRISM} and {APMC}},
booktitle={Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04)},
year={2004},

editor={},
pages={195--214},
organization={},
publisher={Elsevier Science},
series={Electronic Notes in Theoretical Computer Science},
volume={128(6)},
address={},
month={},
note={},
key={}
}