www.prismmodelchecker.org
[BSHV03] H. Bohnenkamp, P. van der Stok, H. Hermanns and F. Vaandrager. Cost-Optimisation of the IPv4 Zeroconf Protocol. In Proc. International Conference on Dependable Systems and Networks (DSN'03), pages 531-540, IEEE CS Press. 2003. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications