Joost-Pieter Katoen
-
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Electronic Notes in Theoretical Computer Science (ENTCS)