Probabilistic verification of Herman's self-stabilisation algorithm

Research output: Contribution to journal › Article › peer-review

Access to Document

TY - JOUR

T1 - Probabilistic verification of Herman's self-stabilisation algorithm

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/pages/publications/84865403408

U2 - 10.1007/s00165-012-0227-6

DO - 10.1007/s00165-012-0227-6

M3 - Article

SN - 0934-5043

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

ER -