Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort. Automating the Mean-Field Method for Large Dynamic Gossip Networks. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010. pages 241-250, IEEE Computer Society, 2010. [doi]
Abstract is missing.