Vol-1590⫷ Vol-1591 ⫸Vol-1592
urn:nbn:de:0074-1591-0


Vol-1591/paper16⫷Vol-1591/paper17⫸Vol-1591/paper18

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm