Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny. Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electronic Notes in Theoretical Computer Science, 128(6):195-214, 2005. [doi]
Abstract is missing.