![](/img/cover-not-exists.png)
Probabilistic verification of Herman’s self-stabilisation algorithm
Kwiatkowska, Marta, Norman, Gethin, Parker, DavidVolume:
24
Language:
english
Pages:
10
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-012-0227-6
Date:
July, 2012
File:
PDF, 864 KB
english, 2012