www.prismmodelchecker.org
[CAG02] S. Cheshire, B. Adoba and E. Gutterman. Dynamic configuration of IPv4 link local addresses. Available from http://www.ietf.org/rfc/rfc3927.txt. 2005. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications