Probabilistic verification of Herman's self-stabilisation algorithm

M. Kwiatkowska, G. Norman, D. Parker

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 - http://www.scopus.com/inward/record.url?eid=2-s2.0-84865403408&partnerID=MN8TOARS

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 -